Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Diff of /plugins/shell.py [a3f0ae] .. [d3d2d9] Maximize Restore

  Switch to side-by-side view

--- a/plugins/shell.py
+++ b/plugins/shell.py
@@ -90,11 +90,15 @@
 close_stdin = "<CLOSE STDIN>"
 blocksize = 512
 
+flags = 0
+if sys.platform != 'win32':
+    flags = wx.EXEC_MAKE_GROUP_LEADER 
+
 class process:
     def __init__(self, parent, cmd, end_callback):
         self.process = wx.Process(parent)
         self.process.Redirect()
-        self.process.pid = wx.Execute(cmd, wx.EXEC_ASYNC, self.process)
+        self.process.pid = wx.Execute(cmd, wx.EXEC_ASYNC|flags, self.process)
         self.b = []
         if self.process.pid:
             #what was up with wx.Process.Get*Stream names?