Module process 

Process control: detached spawning.

Functions

configure_detached

Configure cmd so the spawned child detaches into its own process group, surviving the terminal that launched it.

current_uid

The calling user’s numeric id.

kill_process_group

SIGKILL every process in the group led by pgid (a no-op on platforms without process groups).

peer_uid

The effective uid of the process on the other end of a connected Unix-domain socket.