author | Patrick Mezard <pmezard@gmail.com> |
Sat, 14 Jul 2007 14:01:11 +0200 | |
changeset 4880 | 6403f948bd6b |
parent 4878 | 372d93f03d3a |
child 4881 | c51c9bc4579d |
--- a/tests/run-tests.py Sat Jul 14 12:44:47 2007 -0500 +++ b/tests/run-tests.py Sat Jul 14 14:01:11 2007 +0200 @@ -205,6 +205,8 @@ proc.tochild.close() output = proc.fromchild.read() ret = proc.wait() + if os.WIFEXITED(ret): + ret = os.WEXITSTATUS(ret) except Timeout: vlog('# Process %d timed out - killing it' % proc.pid) os.kill(proc.pid, signal.SIGTERM)