package devkit

  1. Overview
  2. Docs

Module Devkit_core.SignalSource

Signal handling

libevent + signalfd

explicit interface (for compatibility)

Sourcetype t
Sourceval init : Devkit_core.Async.Ev.event_base -> t
Sourceval stop : t -> unit

generic registration

Sourceval is_safe_output : unit -> bool
Sourceval set : int list -> (int -> unit) -> unit

add signal handler for specified signals

Sourceval set1 : int -> (unit -> unit) -> unit
Sourceval set_verbose : int list -> string -> (unit -> unit) -> unit
Sourceval set_exit : (unit -> unit) -> unit
Sourceval set_reload : (unit -> unit) -> unit
Sourceval replace : int list -> (int -> unit) -> unit

replace signal handler for specified signals

Sourceval setup_sys : unit -> unit

setup "standard" signal driver, deadlock-friendly, default

Sourceval setup_libevent : t -> unit

setup signals via libevent (signalfd), requires event loop

Sourceval setup_libevent_ : Devkit_core.Async.Ev.event_base -> unit
Sourceval setup_libevent' : t -> unit
Sourceval setup_lwt : unit -> unit

setup signals via lwt, requires Lwt_main.run

Sourcetype state
Sourceval save : unit -> state
Sourceval restore : state -> unit