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.

diff --git a/basis/io/launcher/launcher.factor b/basis/io/launcher/launcher.factor
index 79fb29b770974565db8b47c767450617efe56f32..02a814284d13b7feb29f96525d837ca33c741e20 100755 (executable)
--- 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