diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-03-04 21:29:55 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-03-04 21:29:55 +0000 |
| commit | afb0034179d9f2a2e6344bc13984cabddaa1f6f9 (patch) | |
| tree | 5f6831079ad4f4e7c8ac5147f943799d1d3a446a /testsuite/timeout/timeout.py | |
| parent | ac87735eb0e6b8aff5e27480bb030a0438ddaba5 (diff) | |
| download | haskell-afb0034179d9f2a2e6344bc13984cabddaa1f6f9.tar.gz | |
Print something to stderr when a timeout happens
Also fixes whitespace.
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) |