package devkit

  1. Overview
  2. Docs
package devkit
Legend:
Library
Module
Module type
Parameter
Class
Class type

Signal handling

libevent + signalfd

explicit interface (for compatibility)

type t
val stop : t -> unit
val handle : t -> int list -> (int -> unit) -> unit
  • deprecated use Signal.set instead
val handle_exit : t -> (unit -> unit) -> unit
  • deprecated use Signal.set_exit instead
val handle_reload : t -> (unit -> unit) -> unit
  • deprecated use Signal.set_reload instead

lwt

explicit interface (for compatibility)

val lwt_handle : int list -> (unit -> unit) -> unit
  • deprecated use Signal.set instead
val lwt_handle_exit : (unit -> unit) -> unit
  • deprecated use Signal.set_exit instead
val lwt_handle_reload : (unit -> unit) -> unit
  • deprecated use Signal.set_reload instead

generic registration

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

add signal handler for specified signals

val set1 : int -> (unit -> unit) -> unit
val set_exit : (unit -> unit) -> unit
val set_reload : (unit -> unit) -> unit
val replace : int list -> (int -> unit) -> unit

replace signal handler for specified signals

val setup_sys : unit -> unit

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

val setup_libevent : t -> unit

setup signals via libevent (signalfd), requires event loop

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

setup signals via lwt, requires Lwt_main.run

type state
val save : unit -> state
val restore : state -> unit