--- a/Beremiz.py Mon Aug 25 18:01:01 2008 +0200
+++ b/Beremiz.py Mon Aug 25 18:01:49 2008 +0200
@@ -409,10 +409,6 @@
(int(last_line), int(last_column)))
def OnCloseFrame(self, event):
- # shutdown local runtime
- self.local_runtime.kill(SIGKILL)
- shutil.rmtree(self.local_runtime_tmpdir)
if self.PluginRoot.HasProjectOpened():
if self.PluginRoot.ProjectTestModified():
@@ -425,13 +421,18 @@
self.PluginRoot.SaveProject()
+ # shutdown local runtime + self.local_runtime.kill(SIGKILL) + shutil.rmtree(self.local_runtime_tmpdir) def OnMoveWindow(self, event):