package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
devkit-1.20210517.tbz
md5=00995ebead339d6ec1ba7859c3fc3a58
sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb
sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133
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)"
>