Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-16 11:24:16 -0800 (Thu, 16 Dec 2004)
Revision: 706
Log message:
Close the output channel only after the entire command is finished
(bug #368).
Changes | Path |
+5 -2 | omake/src/exec/omake_exec_local.ml |