Beremiz.py
changeset 713 37dc330e96a2
parent 710 d76f73c7ae5e
child 714 f8ee6fd01f7c
--- a/Beremiz.py	Mon Apr 02 01:15:37 2012 +0200
+++ b/Beremiz.py	Thu Apr 05 04:41:22 2012 +0200
@@ -586,7 +586,7 @@
             self.SetTitle(name)
 
     def StartLocalRuntime(self, taskbaricon = True):
-        if self.local_runtime is None or self.local_runtime.finished:
+        if (self.local_runtime is None) or (self.local_runtime.exitcode is not None):
             # create temporary directory for runtime working directory
             self.local_runtime_tmpdir = tempfile.mkdtemp()
             # choose an arbitrary random port for runtime
@@ -1870,6 +1870,6 @@
     
     frame = Beremiz(None, projectOpen, buildpath)
     splash.Close()
-    wx.Yield()
+    #wx.Yield()
     frame.Show()
     app.MainLoop()