equal
deleted
inserted
replaced
221 |
221 |
222 def isatty(self): |
222 def isatty(self): |
223 return False |
223 return False |
224 |
224 |
225 def progress(self, text): |
225 def progress(self, text): |
226 l = self.output.GetLineCount()-2 |
226 l = max(self.output.GetLineCount()-2, 0) |
227 self.output.AnnotationSetText(l, text) |
227 self.output.AnnotationSetText(l, text) |
228 self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED) |
228 self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED) |
229 self.output.AnnotationSetStyle(l, self.black_white) |
229 self.output.AnnotationSetStyle(l, self.black_white) |
230 if self.YieldLock.acquire(0): |
230 if self.YieldLock.acquire(0): |
231 app = wx.GetApp() |
231 app = wx.GetApp() |
494 if (self.local_runtime is None) or (self.local_runtime.exitcode is not None): |
494 if (self.local_runtime is None) or (self.local_runtime.exitcode is not None): |
495 # create temporary directory for runtime working directory |
495 # create temporary directory for runtime working directory |
496 self.local_runtime_tmpdir = tempfile.mkdtemp() |
496 self.local_runtime_tmpdir = tempfile.mkdtemp() |
497 # choose an arbitrary random port for runtime |
497 # choose an arbitrary random port for runtime |
498 self.runtime_port = int(random.random() * 1000) + 61131 |
498 self.runtime_port = int(random.random() * 1000) + 61131 |
|
499 self.Log.write(_("Starting local runtime...\n")) |
499 # launch local runtime |
500 # launch local runtime |
500 self.local_runtime = ProcessLogger( |
501 self.local_runtime = ProcessLogger( |
501 self.Log, |
502 self.Log, |
502 "\"%s\" \"%s\" -p %s -i localhost %s %s" % ( |
503 "\"%s\" \"%s\" -p %s -i localhost %s %s" % ( |
503 sys.executable, |
504 sys.executable, |