module Async:sig
..end
The functions below all return means to control the child process
and some producers connected to the forked process output channels,
when instructed to do so.
typeproducer =
string JoinCom.P.t
type
t = {
|
out : |
(* | Connected to child process standard output | *) |
|
err : |
(* | Connected to child process standard error | *) |
|
waitpid : |
(* | Invoke continuation argument when child process changes status. | *) |
|
kill : |
(* | Send (Unix) signal to child process | *) |
|
gkill : |
(* | Send (Unix) signal to child process group | *) |
out
or err
above can be empty producers when
child process channels redirection is not commanded.val command : string -> string array -> t
JoinProc.command
.
Standard channels stdin, stdout, and stderr are the ones
of the parent process.
Accordingly, the out
and err
producers are empty producers.val open_in : string -> string array -> t
val open_out : string -> string array -> producer -> t
JoinProc.open_out
.
Standard input of child process is read from the third, producer,
argument.val open_in_out : string -> string array -> producer -> t
JoinProc.open_in_out
.
Combination of JoinTextProc.Async.open_in
and JoinTextProc.Async.open_out
.val open_full : string -> string array -> producer -> t
JoinProc.open_full
.
Connect all three standard channels of the forked command
to producers.