Grx.Key.TERMINATE_SERVER – grx-3.0 Reference Manual
Packages
grx-3.0
Grx
Key
TERMINATE_SERVER
TERMINATE_SERVER
Description:
TERMINATE_SERVER
Terminate Server