# HG changeset patch
# User paulb
# Date 1212954250 0
# Node ID db8366eed1d80873bf260592d348a87ded08eba6
# Parent  36762cec961ae3afd21815d58d08906d57093493
[project @ 2008-06-08 19:44:10 by paulb]
Fixed pipe closure.

diff -r 36762cec961a -r db8366eed1d8 pprocess.py
--- a/pprocess.py	Sun Jun 08 19:35:35 2008 +0000
+++ b/pprocess.py	Sun Jun 08 19:44:10 2008 +0000
@@ -889,12 +889,12 @@
 
     pid = os.fork()
     if pid == 0:
-        pr.close()
-        pw.close()
+        os.close(pr)
+        os.close(pw)
         return Channel(pid, os.fdopen(cr, "r", 0), os.fdopen(cw, "w", 0))
     else:
-        cr.close()
-        cw.close()
+        os.close(cr)
+        os.close(cw)
         return Channel(pid, os.fdopen(pr, "r", 0), os.fdopen(pw, "w", 0))
 
 if platform.system() == "SunOS":