aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Wachs <wachs@net.in.tum.de>2010-07-12 09:10:12 +0000
committerMatthias Wachs <wachs@net.in.tum.de>2010-07-12 09:10:12 +0000
commit582b44420cd908b78342aa01ba96c6f8cc64dccc (patch)
tree5c25db65c321fad32c069cd35b5a80e59f080cdc
parent0121f630cdf0b7e79f2664e2a6a2f8005e1feb88 (diff)
downloadgnunet-582b44420cd908b78342aa01ba96c6f8cc64dccc.tar.gz
gnunet-582b44420cd908b78342aa01ba96c6f8cc64dccc.zip
-rw-r--r--contrib/timeout_watchdog.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c
index b31c4e6cf..d257d04de 100644
--- a/contrib/timeout_watchdog.c
+++ b/contrib/timeout_watchdog.c
@@ -98,7 +98,7 @@ if (child > 0)
98{ 98{
99 sleep(timeout); 99 sleep(timeout);
100 printf("Child processes were killed after timeout of %u seconds\n",timeout); 100 printf("Child processes were killed after timeout of %u seconds\n",timeout);
101 kill(0,SIGABRT); 101 kill(0,SIGTERM);
102 exit(1); 102 exit(1);
103} 103}
104exit(1); 104exit(1);