MonetDB: Jun2020 - Only terminate if a child was created.

[Sjoerd Mullender]

Changeset: a629ba1883e1 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=a629ba1883e1
Modified Files:
        testing/process.py
Branch: Jun2020
Log Message:

Only terminate if a child was created.


diffs (13 lines):

diff --git a/testing/process.py b/testing/process.py
--- a/testing/process.py
+++ b/testing/process.py
@@ -155,7 +155,8 @@ class Popen(subprocess.Popen):
         super().__exit__(exc_type, value, traceback)
 
     def __del__(self):
-        self.terminate()
+        if self._child_created:
+            self.terminate()
         self._clean_dotmonetdbfile()
         super().__del__()
 
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list