PreviousUpNext

14.4.63  Process_Deathwatch

The standard library Process_Deathwatch api gives multithreaded Mythryl program access to exit status of host-os subprocesses.

The Process_Deathwatch api is implemented by the process_deathwatch package.

The Process_Deathwatch api source code is in src/lib/src/lib/thread-kit/src/process-deathwatch.api.

See also: Threadkit_Process_Result.

See also: Spawn.

See also: Threadkit_Spawn.

The above information is manually maintained and may contain errors.

api {
    add_pid : ?.posix_id::Process_Id
              -> Mailop(?.posix_process::Exit_Status );
    poll_processes : Void -> Void;
    any_waiting : Void -> Bool;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext