[m-rev.] For review: Java implementation of IO library

[James Goddard]

This is so that the StreamPipes won't continue to pass data (and consume
CPU time) after the Process has completed.


diff -u io.m io.m
--- io.m	14 Jan 2004 03:24:43 -0000
+++ io.m	14 Jan 2004 03:50:24 -0000
@@ -7402,6 +7402,10 @@
 		Status	= process.waitFor();
 		Msg	= null;
 
+		stdin.live = false;
+		stdout.live = false;
+		stderr.live = false;
+
 		if (stdin.exception != null) {
 			throw stdin.exception;
 		}
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------