Jerry James b08b3a4
--- o/run_process.c.orig	2014-09-06 09:45:30.000000000 -0600
Jerry James b08b3a4
+++ o/run_process.c	2014-09-06 20:00:00.000000000 -0600
Jerry James b08b3a4
@@ -537,10 +537,10 @@
e6a2505
   fdout = ostream->sm.sm_int0;
e6a2505
   if (fork() == 0)
e6a2505
     { /* the child --- replace standard in and out with descriptors given */
e6a2505
-      close(0);
Jerry James e078710
-      massert(dup(fdin)>=0);
e6a2505
-      close(1);
Jerry James e078710
-      massert(dup(fdout)>=0);
Jerry James e078710
+      massert(dup2(fdin, 0)>=0);
Jerry James e078710
+      massert(dup2(fdout, 1)>=0);
e6a2505
+      close(fdin);
e6a2505
+      close(fdout);
e6a2505
       fprintf(stderr, "\n***** Spawning process %s ", pname);
e6a2505
       if (execvp(pname, argv) == -1)
e6a2505
 	{