web/attachments/158749-patch-check_ping-timeout


1
2
3
4
5
6
7
8
9
10
11

--- check_ping.c.org	2005-06-14 12:40:11.000000000 -0400
+++ check_ping.c	2005-06-14 12:40:22.000000000 -0400
@@ -87,7 +87,7 @@
 	}
 
 	/* handle timeouts gracefully */
-	alarm (timeout_interval);
+	alarm (timeout_interval+4);
 
 	for (i = 0 ; i < n_addresses ; i++) {