Beremiz.py
changeset 539 6ff2c1d34640
parent 513 feb2acb04070
child 550 b03f586547c9
--- a/Beremiz.py	Wed Jun 02 10:08:58 2010 +0200
+++ b/Beremiz.py	Wed Jun 02 16:35:00 2010 +0200
@@ -468,6 +468,8 @@
             self.local_runtime.kill(gently=False)
             # clear temp dir
             shutil.rmtree(self.local_runtime_tmpdir)
+            
+            self.local_runtime = None
 
     def OnOpenWidgetInspector(self, evt):
         # Activate the widget inspection tool