Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Files pool
pool_configure
env_number
pool_lock
pool_unlock
pool_attach
pool_release
pool_submit
pool_worker
pool_collect
pool_drain
pool_detach
pool_open_wake
pool_close_wake
pool_notify
pool_arm
pool_wake_completed
On this page
See also
std
/
Extensions
/
Io
/
pool_release
pool_release
procedure
extension
experimental
macOS, Linux only
since 0.31.0
Source
One scheduler less; the last one ends the workers.
pool_release
:: ()
See also
pool_unlock
pool_attach
pool_submit
pool_worker
Jacket
Jacket