diff --git a/doc/ref_os.xmlf b/doc/ref_os.xmlf index 0ab32729b..085c1518e 100644 --- a/doc/ref_os.xmlf +++ b/doc/ref_os.xmlf @@ -352,13 +352,14 @@ ls [--help | -?] filename* process output stream - ERROR + ERROR-STREAM process error stream - %STATUS - either :RUNNING or - :EXITED + %STATUS either + :RUNNING, :STOPPED, + :SIGNALED, :EXITED, + :ERROR or :ABORT %CODE @@ -373,6 +374,34 @@ ls [--help | -?] filename* process id, communication streams, runtime status and exit code. It is returned as third value of . + + + + + + + + ext:external-process-status + Check status of . + + + + Function + + + ext:external-process-status + external-process + + + + + Description + + Checks status of external-process. Returns it's current status, and + if exited - EXIT-CODE as second value. + +