Re: [polyml] fork/exec woes

2017-06-05 Thread Michael.Norrish
I like the idea of Thread.fork coupled with OS.Process.system except I do want to be able to capture the called processes’ output streams dynamically, and to be able to kill the called processes dynamically. Neither of these are possible with system. I should have perhaps said that the

Re: [polyml] fork/exec woes

2017-06-05 Thread Makarius
On 05/06/17 10:35, michael.norr...@data61.csiro.au wrote: > Both this (with Posix.Process open): > > case fork() of > NONE => (exece(proc,proc::args,env') > > and this: > > case fork() of > exece(executable,nm_args,env) > > seem to be causing us grief, particularly on a