diff options
Diffstat (limited to 'web/attachments/158749-patch-check_ping-timeout')
| -rw-r--r-- | web/attachments/158749-patch-check_ping-timeout | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/web/attachments/158749-patch-check_ping-timeout b/web/attachments/158749-patch-check_ping-timeout new file mode 100644 index 0000000..35d3dfb --- /dev/null +++ b/web/attachments/158749-patch-check_ping-timeout | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | --- check_ping.c.org 2005-06-14 12:40:11.000000000 -0400 | ||
| 2 | +++ check_ping.c 2005-06-14 12:40:22.000000000 -0400 | ||
| 3 | @@ -87,7 +87,7 @@ | ||
| 4 | } | ||
| 5 | |||
| 6 | /* handle timeouts gracefully */ | ||
| 7 | - alarm (timeout_interval); | ||
| 8 | + alarm (timeout_interval+4); | ||
| 9 | |||
| 10 | for (i = 0 ; i < n_addresses ; i++) { | ||
| 11 | |||