diff options
author | Matthias Wachs <wachs@net.in.tum.de> | 2010-06-30 11:42:46 +0000 |
---|---|---|
committer | Matthias Wachs <wachs@net.in.tum.de> | 2010-06-30 11:42:46 +0000 |
commit | c4fec4ba4cabcbc159ecc687f13c36aa0f2ba59b (patch) | |
tree | f25b331d48d0654f22af3422d65a2cd861b0135b /contrib/timeout_watchdog.c | |
parent | 90594e4bb7410653c96c7d7562f9ae65fce3fc4d (diff) | |
download | gnunet-c4fec4ba4cabcbc159ecc687f13c36aa0f2ba59b.tar.gz gnunet-c4fec4ba4cabcbc159ecc687f13c36aa0f2ba59b.zip |
Diffstat (limited to 'contrib/timeout_watchdog.c')
-rw-r--r-- | contrib/timeout_watchdog.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c index 83f751fb0..4f246245b 100644 --- a/contrib/timeout_watchdog.c +++ b/contrib/timeout_watchdog.c | |||
@@ -97,6 +97,7 @@ if (child==0) | |||
97 | if (child > 0) | 97 | 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 | kill(0,SIGABRT); | 101 | kill(0,SIGABRT); |
101 | exit(1); | 102 | exit(1); |
102 | } | 103 | } |