--- ../orig/gedit-3.4.1/plugins/externaltools/tools/capture.py	2012-05-14 07:57:18.038671681 +0200
+++ plugins/externaltools/tools/capture.py	2012-05-14 07:47:29.506674530 +0200
@@ -151,7 +151,7 @@
 
             return False
 
-    def process_read_buffer(self):
+    def process_read_buffer(self, source):
         if self.read_buffer:
             if source == self.pipe.stdout:
                 self.emit('stdout-line', self.read_buffer)
@@ -188,13 +188,13 @@
                         self.emit('stderr-line', line)
             else:
                 source.close()
-                self.process_read_buffer()
+                self.process_read_buffer(source)
                 self.pipe = None
 
                 return False
 
         if condition & ~(GObject.IO_IN | GObject.IO_PRI):
-            self.process_read_buffer()
+            self.process_read_buffer(source)
             self.pipe = None
 
             return False