changeset 495 | 03e17cd5bde7 |
parent 490 | 898648a09e13 |
child 499 | 15a63eba885f |
--- a/Beremiz.py Thu Dec 10 09:34:55 2009 +0100 +++ b/Beremiz.py Thu Dec 10 09:35:39 2009 +0100 @@ -518,7 +518,8 @@ def OnCloseFrame(self, event): if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")): - self.PluginRoot.KillDebugThread() + if self.PluginRoot is not None: + self.PluginRoot.KillDebugThread() self.KillLocalRuntime() event.Skip() else: