package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
devkit-1.3.tbz
sha256=dae965685dceed47ad8e9844f12fe707dafdf2c3bdd46d0431d5b4d1e7754b23
sha512=b94ade804d751db87434042bbaa821fa8e82e233820a76806f910e2da040094b137e88a3579911a1626930912622b064c776ddbcb6991fb7111021ebf6553fdc
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)"
>