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()