rename to api.webSocketServer; send server shutdown messages
change shutdown order to close servers and tasks first, then everything else; allow stats to be modified during shutdown