From 88792b68a83986a308a7e73fe0fe473282898bd2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 16 May 2001 12:25:33 +0000 Subject: [PATCH] . original commit: 0ed2ce841d18ed2f54bb6481d818cb91a36e5ddd --- collects/mzlib/process.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/process.ss b/collects/mzlib/process.ss index fc76a81..50a2b20 100644 --- a/collects/mzlib/process.ss +++ b/collects/mzlib/process.ss @@ -115,7 +115,9 @@ [it (streamify-in cin in #t)] [et (streamify-out cerr err #t)]) (subprocess-wait subp) - (break-thread it) ; stop piping output to subprocess + (when it + ;; stop piping output to subprocess + (break-thread it)) ;; wait for other pipes to run dry: (when (thread? ot) (thread-wait ot))