Beremiz.py
changeset 495 03e17cd5bde7
parent 490 898648a09e13
child 499 15a63eba885f
equal deleted inserted replaced
494:9e4263099427 495:03e17cd5bde7
   516                 return False
   516                 return False
   517         return True
   517         return True
   518     
   518     
   519     def OnCloseFrame(self, event):
   519     def OnCloseFrame(self, event):
   520         if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")):
   520         if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")):
   521             self.PluginRoot.KillDebugThread()
   521             if self.PluginRoot is not None:
       
   522                 self.PluginRoot.KillDebugThread()
   522             self.KillLocalRuntime()
   523             self.KillLocalRuntime()
   523             event.Skip()
   524             event.Skip()
   524         else:
   525         else:
   525             event.Veto()
   526             event.Veto()
   526     
   527