Read stdout data (that we ignore anyway) to avoid 'Broken pipe' error.

diff --git a/PLD_Builder/chroot.py b/PLD_Builder/chroot.py
index 6e7976a9e7c6aa8d3124276e659b3d5eeb73b08a..e214ae1585b339e39a4656858a32206451c1d9cd 100644 (file)
--- a/PLD_Builder/chroot.py
+++ b/PLD_Builder/chroot.py
@@ -44,6 +44,8 @@ def run(cmd, user = "builder", logfile = None, logstdout = None):
     if logstdout != None:
         for l in f:
             logstdout.write(l)
+    else:
+        f.read()
     r = f.close()
     if r == None:
         return 0