package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
devkit-1.20240429.tbz
sha256=222f8ac131b1d970dab7eeb2714bfd6b9338b88b1082e6e01c136ae19e7eaef4
sha512=c9e6d93e3d21e5530c0f4d5baca51bf1f0a5d19248f8af7678d0665bb5cdf295d7aaaaa3e50eb2e44b8720e55097cc675af4dc8ec45acf9da39feb3eae1405d5
doc/devkit.core/Devkit_core/Daemon/index.html
Module Devkit_core.Daemon
Source
daemon utilities
global flag indicating that process should exit, manage
will automatically set this flag on SIGTERM unless default signal handling is overriden
should_exit_lwt
usage is discouraged. Use wait_exit
instead, which makes it harder to ignore "should exit" state and loop infinitely
should_exit_lwt
usage is discouraged. Use wait_exit
instead, which makes it harder to ignore "should exit" state and loop infinitely
exception to be raised by functions that wish to signal premature termination due to !should_exit = true
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>