Changeset: c6368fc7eca8 for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=c6368fc7eca8
Modified Files:
testing/Mtest.py.in
Branch: default
Log Message:
Merge fix.
diffs (12 lines):
diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in
--- a/testing/Mtest.py.in
+++ b/testing/Mtest.py.in
@@ -4191,6 +4191,8 @@ def main(argv) :
body_good.append(elem)
else:
body_bad.append(elem)
+ if interrupted:
+ break
if global_timeout and start_time + global_timeout <
time.time():
break
except KeyboardInterrupt:
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
