Automatic pausing if a player disconnects

[elexis]

It occurs often that a player loses the network connection for any reason. Usually the game is then paused to be fair. Since people however don't read chat messages, one finds oneself explaining over and over again why the game is currently paused. This could be automated.

There could be a new option that if enabled, automatically pauses the game locally. In that case it should send that name of the player the client is waiting for to the server, which could broadcast it to all clients, which in turn could show "Paused for player X" for example.

Players who won or were defeated should not be considered. If multiple players left, it should wait for both. If the local player decides to ignore that user being disconnected, he can just hit the pause key again to continue the game. The game is then resumed if all players who have that option enabled agree to continue.