diff options
Diffstat (limited to 'otherlibs/threads/threadUnix.ml')
| -rw-r--r-- | otherlibs/threads/threadUnix.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/threads/threadUnix.ml b/otherlibs/threads/threadUnix.ml index 823d0c5a2..87556cfb2 100644 --- a/otherlibs/threads/threadUnix.ml +++ b/otherlibs/threads/threadUnix.ml @@ -92,7 +92,7 @@ let pipe() = let open_process_in cmd = let ic = Unix.open_process_in cmd in Unix.set_nonblock(Unix.descr_of_in_channel ic); - oc + ic let open_process_out cmd = let oc = Unix.open_process_out cmd in @@ -109,7 +109,7 @@ let open_process_full cmd env = let (ic, oc, ec as channels) = Unix.open_process_full cmd env in Unix.set_nonblock(Unix.descr_of_in_channel ic); Unix.set_nonblock(Unix.descr_of_out_channel oc); - Unix.set_nonblock(Unix.descr_of_out_channel ec); + Unix.set_nonblock(Unix.descr_of_in_channel ec); channels (*** Time *) |