Beremiz.py
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: