From 1136ed9c198ba2eb72c1136debf69edd87329d59 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 19 May 2013 10:22:07 -0700
Subject: [PATCH] io.launcher: Fix bug -- if dispose fails, still call dispose
 on the other resource.

---
 basis/io/launcher/launcher.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/io/launcher/launcher.factor b/basis/io/launcher/launcher.factor
index 02a814284d..649bbf00bc 100755
--- 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 ;