diff options
| author | Matthias Wachs <wachs@net.in.tum.de> | 2010-08-16 13:41:08 +0000 |
|---|---|---|
| committer | Matthias Wachs <wachs@net.in.tum.de> | 2010-08-16 13:41:08 +0000 |
| commit | 324e9da9b0cc3917a4500b4afbe437c225513649 (patch) | |
| tree | 53a46414975563117f1527090c9e77fa4ba71ede /contrib | |
| parent | 36380a00a45dd4a30302dcdcba686d3bebf9b992 (diff) | |
fixing bugs
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/timeout_watchdog.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c index d257d04de..9a1fc006d 100644 --- a/contrib/timeout_watchdog.c +++ b/contrib/timeout_watchdog.c @@ -39,15 +39,15 @@ static void sigchld_handler(int val) int ret = 0; waitpid (child, &status, 0); - if (WIFEXITED(status) == 1) + if (WIFEXITED(status) != 0) { ret = WEXITSTATUS(status); printf("Test process exited with result %u\n", ret); } - if (WIFSIGNALED(status) == 1) + if (WIFSIGNALED(status) != 0) { - printf("Test process was signaled %u\n", WTERMSIG(status)); - ret = WTERMSIG(status); + ret = WTERMSIG(status); + printf("Test process was signaled %u\n", ret); } exit(ret); } |