From 67ebc2e4a090bf9f68e5b71b559ceac3a15c2408 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 2 Feb 2006 14:15:25 +0000
Subject: [PATCH] use process/ports with std ports

svn: r2085
---
 collects/mred/private/misc.ss | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/collects/mred/private/misc.ss b/collects/mred/private/misc.ss
index 5036f36aef..a41e27aaa4 100644
--- a/collects/mred/private/misc.ss
+++ b/collects/mred/private/misc.ss
@@ -71,7 +71,12 @@
                                    'play-sound
                                    "not supported by default on this platform"
                                    subpath)])))])
-        ((if async? (lambda (x) (process x) #t) system)
+        ((if async?
+           (lambda (x)
+             (process/ports
+              (current-output-port) (current-input-port) (current-error-port) x)
+             #t)
+           system)
          (format cmd (string-append
                       "\""
                       (regexp-replace* #rx"([$\"\\])"