Merge with stable
authorChristian Ebert <blacktrash@gmx.net>
Sun, 10 Apr 2011 20:51:39 +0200
changeset 900 2357dbe7fabf
parent 898 91b438919899 (current diff)
parent 899 97ec5d659039 (diff)
child 911 f3ab526d8761
Merge with stable
--- a/tests/run-tests.py	Tue Apr 05 16:35:41 2011 +0200
+++ b/tests/run-tests.py	Sun Apr 10 20:51:39 2011 +0200
@@ -620,7 +620,8 @@
                 ret = os.WEXITSTATUS(ret)
         except Timeout:
             vlog('# Process %d timed out - killing it' % proc.pid)
-            ret = cleanup()
+            cleanup()
+            ret = 'timeout'
             output += ("\n### Abort: timeout after %d seconds.\n"
                        % options.timeout)
         except KeyboardInterrupt:
@@ -752,11 +753,13 @@
             skip(missing[-1])
     elif out != refout:
         mark = '!'
-        if ret:
+        if ret == 'timeout':
+            fail("timed out")
+        elif ret:
             fail("output changed and returned error code %d" % ret)
         else:
             fail("output changed")
-        if not options.nodiff:
+        if ret != 'timeout' and not options.nodiff:
             if options.view:
                 os.system("%s %s %s" % (options.view, ref, err))
             else: