io.launcher: Fix bug -- if dispose fails, still call dispose on the other

resource.

diff --git a/basis/io/launcher/launcher.factor b/basis/io/launcher/launcher.factor
index 02a814284d13b7feb29f96525d837ca33c741e20..649bbf00bc061ff3e7eb81e1fd06038e04122a67 100755 (executable)
--- a/basis/io/launcher/launcher.factor
+++ b/basis/io/launcher/launcher.factor
@@ -179,7 +179,7 @@ M: process cancel-operation kill-process ;
 
 M: object run-pipeline-element
     [ >process swap >>stdout swap >>stdin run-detached ]
-    [ drop [ [ dispose ] when* ] bi@ ]
+    [ [ drop [ [ &dispose drop ] when* ] bi@ ] with-destructors ]
     3bi
     wait-for-process ;