package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
devkit-1.20210120.tbz
md5=47338eaae436aba40abd4d194ee40054
sha256=499b050b73643f6ad7349a41485539d4166d149a07fba59cb6841f508c0297f8
sha512=6a5bf77061d390ddb331ed3d5891a5c56502be91f0eff6846202f658ebfa97ef57695d7a192cbdad4c7b8835f5665df3ea4375daf46930334ebbd9a07f00feca
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)"
>