Process module

deinit

procedure · 2 overloadsSource

Releases a Process: closes its pipes and handles and leaves it as a fresh record. Unlike on Unix it does not wait for the child. A child started with kill_process_if_parent_exits (the default) is killed when its job handle closes here; one started without it keeps running. Always call it once per successful create_process.

deinit :: (process: *Process)

Parameters

process: *Process
deinit :: (pipe: *Process.Pipe)

Closes one pipe of a process, for instance process.input so that a child reading its standard input sees the end of the file. The pipe is marked at its end. Safe on a pipe that is already closed.

Parameters

pipe: *Process.Pipe

See also