Beremiz.py
changeset 539 6ff2c1d34640
parent 513 feb2acb04070
child 550 b03f586547c9
equal deleted inserted replaced
538:ad05f27222cd 539:6ff2c1d34640
   466         if self.local_runtime is not None:
   466         if self.local_runtime is not None:
   467             # shutdown local runtime
   467             # shutdown local runtime
   468             self.local_runtime.kill(gently=False)
   468             self.local_runtime.kill(gently=False)
   469             # clear temp dir
   469             # clear temp dir
   470             shutil.rmtree(self.local_runtime_tmpdir)
   470             shutil.rmtree(self.local_runtime_tmpdir)
       
   471             
       
   472             self.local_runtime = None
   471 
   473 
   472     def OnOpenWidgetInspector(self, evt):
   474     def OnOpenWidgetInspector(self, evt):
   473         # Activate the widget inspection tool
   475         # Activate the widget inspection tool
   474         from wx.lib.inspection import InspectionTool
   476         from wx.lib.inspection import InspectionTool
   475         if not InspectionTool().initialized:
   477         if not InspectionTool().initialized: