[det]process_wait(+PID,
-Status)- timeout(+Timeout)
- Default:
infinite. If this option is a number, the waits for a maximum of Timeout seconds and unifies Status withtimeoutif the process does not terminate within Timeout. In this case PID is not invalidated. On Unix systems only timeout 0 andinfiniteare supported. A 0-value can be used to poll the status of the process. - release(+Bool)
- Do/do not release the process. We do not support this flag and a
domain_error is raised if
release(false)is provided.
| Status | is one of exit(Code) or killed(Signal),
where Code and Signal are integers. If the timeout option
is used Status is unified with timeout after the
wait timed out. |