process_exists: Check if process with a given id exists.

Description Usage Arguments Value

Description

Check if process with a given id exists.

Usage

1

Arguments

x

A process handle returned by spawn_process or a OS-level process id.

Value

TRUE if process exists, FALSE otherwise.


lbartnik/subprocess documentation built on May 20, 2019, 8:27 p.m.