fixing bugs

diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c
index d257d04de73aa6e53337bcd0607dddb32559a56d..9a1fc006d490db55c8fa96055c3d1ca8b18f7ecb 100644 (file)
--- 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);  
 }