BeremizIDE.py
branchwxPython4
changeset 3312 2c0511479b18
parent 3303 0ffb41625592
child 3317 ecfa689684c5
--- a/BeremizIDE.py	Fri Sep 10 14:42:46 2021 +0200
+++ b/BeremizIDE.py	Fri Sep 10 14:44:20 2021 +0200
@@ -625,6 +625,7 @@
         if self.CTR is None or self.CheckSaveBeforeClosing(_("Close Application")):
             if self.CTR is not None:
                 self.CTR.KillDebugThread()
+                self.CTR._Disconnect()
             self.KillLocalRuntime()
 
             self.SaveLastState()