use process/ports with std ports

svn: r2085 original commit: 67ebc2e4a090bf9f68e5b71b559ceac3a15c2408
2006-02-02 14:15:25 +00:00 · 2006-02-02 14:15:25 +00:00 · d66283ba52
commit d66283ba52
parent f8249c5240
1 changed files with 6 additions and 1 deletions
--- 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"([$\"\\])"