diff options
| author | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2010-06-30 11:42:46 +0000 |
|---|---|---|
| committer | wachs <wachs@140774ce-b5e7-0310-ab8b-a85725594a96> | 2010-06-30 11:42:46 +0000 |
| commit | 58bf8cec7952f2af291e4661b621d8bd737e561a (patch) | |
| tree | f25b331d48d0654f22af3422d65a2cd861b0135b /contrib/timeout_watchdog.c | |
| parent | 512efc99e746a92727c20178d0ac866121347109 (diff) | |
git-svn-id: https://gnunet.org/svn/gnunet@12063 140774ce-b5e7-0310-ab8b-a85725594a96
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 83f751fb0f..4f246245b0 100644 --- a/contrib/timeout_watchdog.c +++ b/contrib/timeout_watchdog.c @@ -97,6 +97,7 @@ if (child==0) if (child > 0) { sleep(timeout); + printf("Child processes were killed after timeout of %u seconds\n",timeout); kill(0,SIGABRT); exit(1); } |