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_configure
pool_configure
procedure
extension
experimental
since 0.31.0
Source
Reads the pool's settings from the environment into the engine.
pool_configure
:: (engine: *
Engine
)
Parameters
engine
:
*
Engine
See also
env_number
pool_lock