package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (9)

Authors

  1. A
    Ahrefs <github@ahrefs.com>

Maintainers

  1. I
    igor@ahrefs.com

Sources

1.20261006.tar.gz
md5=a39dbbce04bd5562a9b4443daf39c582
sha512=b10104b61384b2151521b785e7f3c3250134c75eae09b42cad69bc4a22a9a5e429beb891ee87cedf376c23d9c40f09d3f71c3fd48aa35df490c0f69dc17f3242

doc/devkit.core/Devkit_core/Signal/index.html

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