equal
deleted
inserted
replaced
584 self.SetTitle("%s - %s" % (name, projectname)) |
584 self.SetTitle("%s - %s" % (name, projectname)) |
585 else: |
585 else: |
586 self.SetTitle(name) |
586 self.SetTitle(name) |
587 |
587 |
588 def StartLocalRuntime(self, taskbaricon = True): |
588 def StartLocalRuntime(self, taskbaricon = True): |
589 if self.local_runtime is None or self.local_runtime.finished: |
589 if (self.local_runtime is None) or (self.local_runtime.exitcode is not None): |
590 # create temporary directory for runtime working directory |
590 # create temporary directory for runtime working directory |
591 self.local_runtime_tmpdir = tempfile.mkdtemp() |
591 self.local_runtime_tmpdir = tempfile.mkdtemp() |
592 # choose an arbitrary random port for runtime |
592 # choose an arbitrary random port for runtime |
593 self.runtime_port = int(random.random() * 1000) + 61131 |
593 self.runtime_port = int(random.random() * 1000) + 61131 |
594 # launch local runtime |
594 # launch local runtime |
1868 # Install a exception handle for bug reports |
1868 # Install a exception handle for bug reports |
1869 AddExceptHook(os.getcwd(),updateinfo_url) |
1869 AddExceptHook(os.getcwd(),updateinfo_url) |
1870 |
1870 |
1871 frame = Beremiz(None, projectOpen, buildpath) |
1871 frame = Beremiz(None, projectOpen, buildpath) |
1872 splash.Close() |
1872 splash.Close() |
1873 wx.Yield() |
1873 #wx.Yield() |
1874 frame.Show() |
1874 frame.Show() |
1875 app.MainLoop() |
1875 app.MainLoop() |