blob: bb364b42026b97804e40a3b10f2cf0fd540e6100 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
|