This module allows you to spawn processes and communicate with them.
A command. The first field is the name of the executable and the second is the list of arguments. For example:
("ls", [|"ls"; "-l"|])
"\000". For example:
("", [|"echo"; "\000foo bar"|])
is the same as:
("", [|"echo"; "foo"; "bar"|])
A command executed with the shell. (with
"/bin/sh -c <cmd>" on
"cmd.exe /c <cmd>" on Windows).
All the following functions take an optional argument
timeout. If specified, after expiration, the process will be
Unix.sigkill signal and channels will be closed.
Note: all optional redirection arguments default to
Pid of the sub-process
kill signum sends
signum to the process if it is still
Terminates the process. It is equivalent to
on Unix but also works on Windows (unlike kill).