package spawn

  1. Overview
  2. Docs

Module Spawn.PgidSource

Process group IDs

Sourcetype t

Representation of the second parameter to setpgid. If a value of this type is provided to spawn, the child will immediately set its pgid accordingly.

Sourceval new_process_group : t

Sets the child's pgid to the same as its process id. Equivalent to calling setpgid(0, 0).

Sourceval of_pid : int -> t

Raises Invalid_arg if the value is not strictly positive.