process-was-killed ( process -- * )

Vocabulary

io.launcher

Definition

IN: io.launcher

ERROR: process-was-killed process ;

Methods

USING: accessors debugger io io.launcher prettyprint ;

M: process-was-killed error.
    "Process was killed as a result of a call to" print
    "kill-process, or a timeout" print
    nl "Launch descriptor:" print nl process>> . ;