io.launcher: Fix two potential bugs.

1) If first (pipe) succeeds but second one fails, first pipe leaks. 2) out>> dispose fails, then in>> dispose is never called and leaks.
factor · May 19, 2013 · 7c1caac · 7c1caac
1 parent c64cb2c
commit 7c1caac
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/basis/io/launcher/launcher.factor b/basis/io/launcher/launcher.factor
@@ -233,15 +233,15 @@ PRIVATE>
 : <process-stream*> ( desc encoding -- stream process )
     [
         [
-            (pipe) (pipe) {
-                [ [ |dispose drop ] bi@ ]
+            (pipe) |dispose
+            (pipe) |dispose {
                 [
                     rot >process
                         [ swap in>> or ] change-stdin
                         [ swap out>> or ] change-stdout
                     run-detached
                 ]
-                [ [ out>> dispose ] [ in>> dispose ] bi* ]
+                [ [ out>> &dispose drop ] [ in>> &dispose drop ] bi* ]
                 [ [ in>> <input-port> ] [ out>> <output-port> ] bi* ]
             } 2cleave
         ] dip <encoder-duplex> swap