Getting Started | Documentation | Glish | Learn More | Programming | Contact Us |
Version 1.9 Build 1556 |
|
Package | utility | |
Module | functionals | |
Tool | functionalserver |
kill | in | force kill of the default tool | |
Allowed: | bool | ||
Default: | F |
- a:=functionals() - a.done() T - dfs.done() F - dfs.done(kill=T) NORMAL: Successfully closed empty server: functionals T