summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcommon/tests/run-test.pl3
1 files changed, 2 insertions, 1 deletions
diff --git a/common/tests/run-test.pl b/common/tests/run-test.pl
index 6389f34d34..5b75bff2df 100755
--- a/common/tests/run-test.pl
+++ b/common/tests/run-test.pl
@@ -228,6 +228,7 @@ sub timed_system
if ($pid == 0)
{
# Son.
+ setpgrp ($$, $$);
exec $cmd;
exit 128;
}
@@ -245,7 +246,7 @@ sub timed_system
die unless $@ eq "alarm\n";
kill INT => $pid;
sleep 3;
- kill KILL => $pid;
+ kill KILL => -$pid;
print "Timed out!\n";
return $signum{ALRM};
}