BeremizIDE.py
changeset 3348 cfac764413dd
parent 2740 610801fe1b88
child 3350 0d86fd9691ec
--- 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()