Automatic disconnect when the server closes

Connection monitoring detects an unresponsive server after about five seconds.

Normal server shutdown notifies connected players and saves their sessions before closing.

Disconnected players leave the world and see a sign-in message.