Changeset: bd79491a375a for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=bd79491a375a
Modified Files:
        testing/Mtest.py.in
Branch: Nov2019
Log Message:

Give process limited time to terminate when asked to, or else...


diffs (20 lines):

diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in
--- a/testing/Mtest.py.in
+++ b/testing/Mtest.py.in
@@ -2867,12 +2867,15 @@ class ServerClass:
         return self.proc.poll()
 
     def terminate(self):
+        self.timer.cancel()
+        t = Timer(60, killProc, args = [proc, self.errfile, self.cmd])
+        t.start()
         if os.name == 'nt':
             self.proc.send_signal(signal.CTRL_BREAK_EVENT)
         else:
             self.proc.terminate()
         self.proc.wait()
-        self.timer.cancel()
+        t.cancel()
         self.code = returnCode(self.proc, self.errfile)
 
     def LaunchIt(self):
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to