If a user uses a management op to restart the HC, e.g. one of these:

          
[domain@localhost:9990 /] /host=master:shutdown(restart=true) 
{"outcome" => "success"} 
[domain@localhost:9990 /] shutdown --host=master --restart=true

then they should also be able to configure restart-servers=false so the servers remain alive and reconnect to the HC when the PC spawns a new one.

Doing "kill -9 <hc_pid>" works fine, with the PC spawning a new HC and the servers reconnecting, so it seems the main thing here is adding the parameter and wiring in the mechanicsm such that the ServerInventory doesn't stop the servers. Perhaps the same thing can be done as HostProcessReloadHandler does, using HostRunningModeControl.setRestartMode().