Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-24 12:47:11 -0700 (Thu, 24 May 2007)
Revision: 10812
Log message:
Fixed the "close(): bad file descriptor" problem.
The issue was that the Omake_shell_sys.set_close_on_exec was called,
but Unix.close was used to close the descriptor. Omake_shell_sys.close_fd
should be used instead, to delete the descriptor from the fork table too.
Changes | Path |
+8 -2 | omake-branches/0.9.8.2/src/build/omake_build.ml |