diff -r 67d32a91d70b -r 11263fd24566 Beremiz.py --- 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()