When waiting for a player to discard (I had already
discarded), I clicked on the map to build something.
When I reconnected, I got the 'Waiting for players to
discard' prompt, but the list of players was empty.
The game could not be continued.
I guess that while I was disconnected, the other player
had discarded, but the server state was not updated.
turn num 26
player turn: 2
dice rolled: 5 2
player disconnected
state DISCARD
bank 24 17 21 19 24
development-bought 22
playerinfo: resources: 0 2 3 0 0