# HG changeset patch
# User Patrick Mezard <pmezard@gmail.com>
# Date 1184414471 -7200
# Node ID 6403f948bd6b8c123e19a0fdaf458c93c1f41101
# Parent  372d93f03d3aae749c5d523d8c33ce36581b8887
run-tests: extract correct status when script terminates with exit

diff -r 372d93f03d3a -r 6403f948bd6b tests/run-tests.py
--- 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)