package core_unix
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=9370dca36f518fcea046d2752e3de22b
sha512=c4e8ce9d5885ac8fa8d554a97e1857f3a1c933e0eb5dfd4fe874412b9d09e6d0a2973b644733855553f33f5c859719228f0e6aaf3a2b7eb5befb46fc513750de
doc/core_unix.signal_unix/Signal_unix/index.html
Module Signal_unixSource
Signal handlers.
of_system_int and to_system_int return and take respectively a signal number corresponding to those in the system's /usr/include/bits/signum.h (or equivalent). It is not guaranteed that these numbers are portable across any given pair of systems -- although some are defined as standard by POSIX.
send signal pid_spec sends signal to the processes specified by pid_spec.
send_i is like send, except that it silently returns if the specified processes don't exist.
send_exn is like send, except that it raises if the specified processes don't exist.
All of send, send_i, and send_exn raise if you don't have permission to send the signal to the specified processes or if signal is unknown.
can_send_to pid returns true if pid is running and the current process has permission to send it signals.
sigprocmask cmd sigs changes the set of blocked signals.
- If
cmdis`Set, blocked signals are set to those in the listsigs. - If
cmdis`Block, the signals insigsare added to the set of blocked signals. - If
cmdis`Unblock, the signals insigsare removed from the set of blocked signals.
sigprocmask returns the set of previously blocked signals.
sigpending () returns the set of blocked signals that are currently pending.
sigsuspend sigs atomically sets the blocked signals to sigs and waits for * a non-ignored, non-blocked signal to be delivered. On return, the blocked * signals are reset to their initial value.