Minor patch for a problem noticed yesterday too (in some cases if Ctrl-C is pressed sent is most probably a None value)

stamparm · stamparm · commit 7cb3ea20dd7a · 2013-08-23T11:59:58.000+02:00
diff --git a/lib/core/subprocessng.py b/lib/core/subprocessng.py
@@ -197,4 +197,6 @@ def send_all(p, data):
 
     while len(data):
         sent = p.send(data)
+        if not isinstance(sent, int):
+            break
         data = buffer(data, sent)
