Index: src/terminal.ml =================================================================== --- src/terminal.ml (révision 463) +++ src/terminal.ml (copie de travail) @@ -191,7 +191,6 @@ exit 127 end | childPid -> - Unix.close slaveFd; (Some masterFd, childPid) end