diff options
Diffstat (limited to 'testsuite/timeout/timeout.py')
| -rw-r--r-- | testsuite/timeout/timeout.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/timeout/timeout.py b/testsuite/timeout/timeout.py index 212cf4abdb..7b4658642c 100644 --- a/testsuite/timeout/timeout.py +++ b/testsuite/timeout/timeout.py @@ -16,6 +16,7 @@ if pid == 0: else: # parent def handler(signum, frame): + sys.stderr.write('Timeout happened...killing process...\n') os.killpg(pid, signal.SIGKILL) # XXX Kill better like .hs sys.exit(99) old = signal.signal(signal.SIGALRM, handler) |