Diff of /sml/trunk/src/cml/src/Unix/new-unix.sml

Parent Directory | Revision Log | Patch

	revision 1502, Mon May 31 23:10:42 2004 UTC	revision 1503, Fri Jun 4 15:59:11 2004 UTC
#	Line 85	Line 85
85	PIO.dup2{old = oldout, new = newout};	PIO.dup2{old = oldout, new = newout};
86	PIO.close oldout);	PIO.close oldout);
87	PP.exece (cmd, base::argv, env)	PP.exece (cmd, base::argv, env)
88		handle ex => (
89		(* the exec failed, so we need to shutdown the child *)
90		PP.exit 0w128)
91	end	end
92	(* end case *))	(* end case *))
93	val _ = TextIO.flushOut TextIO.stdOut	val _ = TextIO.flushOut TextIO.stdOut

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1502   changed lines   Added in v.1503

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0