Handle disconnects from Discord more gracefully
schnapster opened this issue · comments
Dennis Neufeld commented
If we detect a disconnect, we could pause the game to avoid processing timed events like day-night-cycles while the players cannot provide input. Upon the shard reconnecting and becoming ready, any ongoing paused games should be informed in the main game channel about the pause and its reason + length for maximum transparency to the players.