(no commit message)

diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c
index dfeed6782b18722a5df18d5ff7667e976906bf2c..c8c339167f235fddb1f0e20e7ecc723aeba75f3a 100644 (file)
--- a/contrib/timeout_watchdog.c
+++ b/contrib/timeout_watchdog.c
@@ -54,7 +54,6 @@ void sigchld_handler(int val)
 
 void sigint_handler(int val)
 { 
-  printf("Killing test process\n");
   kill(0, val);
   exit(1);
 }
@@ -92,16 +91,13 @@ signal(SIGTERM, sigint_handler);
 child = fork();
 if (child==0)
 {
-   printf("Starting test process `%s'\n",argv[2],arguments);
    setpgid(0,gpid);
    execvp(argv[2],&argv[2]);
-   printf("Test process `%s' could not be started\n",argv[2]);
    exit(1);
 }
 if (child > 0)
 {
   sleep(timeout);
-  printf("Timeout, killing all test processes\n");
   kill(0,SIGABRT);
   exit(1);
 }