On Tue, 11 May 2010, David Matthews wrote:
Michael Norrish wrote:
Incidentally, on the machine where Posix.Process.exec(/bin/ls, []) seg.
faults, Unix.execute(/bin/ls, []) works correctly. The Basis library
documentation I have for the Unix structure doesn't discuss how the argv
component
In the above code the invoker will return immediately with success. It
ought to be possible to modify the code to use Posix.Process.waitpid to
wait for the child process. Possibly something along the lines of
SOME pid =
(case Posix.Process.waitpid(Posix.Process.W_CHILD pid, []) of
W_EXITED =