Jacket
Search the docs
/
API
Tools
Playground
main
Autorun module
← Autorun
Procedures
run_native
run_build_result_of_workspace
get_plugin
init
message
shutdown
On this page
See also
std
/
Autorun
/
shutdown
shutdown
procedure
Source
shutdown
:: (_p: *Plugin)
Parameters
_p
:
*Plugin
See also
init
message
Jacket
Jacket