ProjectController.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3755 ca814b175391
child 3778 296e459efdfb
--- a/ProjectController.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/ProjectController.py	Fri Oct 28 19:39:17 2022 +0800
@@ -280,9 +280,6 @@
         self.IECcodeDigest = None
         self.LastBuiltIECcodeDigest = None
 
-    def __del__(self):
-        self.KillDebugThread()
-
     def LoadLibraries(self):
         self.Libraries = []
         TypeStack = []