Index: src/terminal.ml =================================================================== --- src/terminal.ml (revision 471) +++ src/terminal.ml (working copy) @@ -191,7 +191,6 @@ exit 127 end | childPid -> - Unix.close slaveFd; (Some masterFd, childPid) end