diff -r ad05f27222cd -r 6ff2c1d34640 Beremiz.py
--- 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