Vocabulary
io.launcher

Inputs
processa process


Outputs
None

Word description
Kills a running process. Does nothing if the process has already exited.

Examples
USING: io.launcher ; "cat" run-detached kill-process


Definition