equal
deleted
inserted
replaced
86 self.write_warning(v) |
86 self.write_warning(v) |
87 |
87 |
88 def fin(pid,ecode): |
88 def fin(pid,ecode): |
89 self.exitcode = ecode |
89 self.exitcode = ecode |
90 if self.exitcode != 0: |
90 if self.exitcode != 0: |
91 self.write("pid %d exited with status %d\n"%(pid,ecode)) |
91 self.write(Command + "\n") |
|
92 self.write_warning("exited with status %d (pid %d)\n"%(ecode,pid)) |
92 |
93 |
93 def spin(p): |
94 def spin(p): |
94 while not p.finished: |
95 while not p.finished: |
95 wx.Yield() |
96 wx.Yield() |
96 time.sleep(0.01) |
97 time.sleep(0.01) |
324 self.PluginRoot = PluginsRoot(self) |
325 self.PluginRoot = PluginsRoot(self) |
325 |
326 |
326 if projectOpen: |
327 if projectOpen: |
327 self.PluginRoot.LoadProject(projectOpen, self.Log) |
328 self.PluginRoot.LoadProject(projectOpen, self.Log) |
328 self.RefreshPluginTree() |
329 self.RefreshPluginTree() |
329 self.PluginTree.SelectItem(self.PluginTree.GetRoot()) |
330 self.PluginTree.SelectItem(self.PluginTree.GetRootItem()) |
330 |
331 |
331 self.RefreshPluginParams() |
332 self.RefreshPluginParams() |
332 self.RefreshButtons() |
333 self.RefreshButtons() |
333 self.RefreshMainMenu() |
334 self.RefreshMainMenu() |
334 |
335 |