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