Beremiz.py
changeset 466 11263fd24566
parent 456 dbcf4a13926d
child 490 898648a09e13
--- a/Beremiz.py	Sun Dec 06 22:52:51 2009 +0100
+++ b/Beremiz.py	Sun Dec 06 23:05:47 2009 +0100
@@ -517,6 +517,7 @@
     def OnCloseFrame(self, event):
         if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")):
             self.KillLocalRuntime()
+            self.PluginRoot.KillDebugThread()
             event.Skip()
         else:
             event.Veto()