diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-10 14:04:59 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-10 14:04:59 +0000 |
| commit | 9e206909f48d5d2579b6ec17764d3273df23ff08 (patch) | |
| tree | 3319a3e0c3383ed812f781859aadffd7f1462fdf /otherlibs/threads/threadUnix.ml | |
| parent | 7175ab048dcaaa39649ebc386ae37750baaf27e1 (diff) | |
Introduction des blocs de type Custom.
Remplacement des blocs de type Final par des blocs de type Custom.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/threads/threadUnix.ml')
| -rw-r--r-- | otherlibs/threads/threadUnix.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/otherlibs/threads/threadUnix.ml b/otherlibs/threads/threadUnix.ml index 3fc51ac37..823d0c5a2 100644 --- a/otherlibs/threads/threadUnix.ml +++ b/otherlibs/threads/threadUnix.ml @@ -89,6 +89,11 @@ let pipe() = Unix.set_nonblock out_fd; fd_pair +let open_process_in cmd = + let ic = Unix.open_process_in cmd in + Unix.set_nonblock(Unix.descr_of_in_channel ic); + oc + let open_process_out cmd = let oc = Unix.open_process_out cmd in Unix.set_nonblock(Unix.descr_of_out_channel oc); @@ -96,7 +101,15 @@ let open_process_out cmd = let open_process cmd = let (ic, oc as channels) = Unix.open_process cmd in + Unix.set_nonblock(Unix.descr_of_in_channel ic); + Unix.set_nonblock(Unix.descr_of_out_channel oc); + channels + +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); channels (*** Time *) |