OK, I should have a bit of time today, lets try around 17:00 CET.
Well if they loby is useless in such a situation we should either:
* try to reconnect in the lobby and show the user some response.
* completey drop out to the main menu.
With the first option we may loose some lobby messages, that may have been
Like "I was dropped out of the game as my Mother pulled then WLAN cable" ;-)
Your team Widelands Developers is subscribed to branch
Mailing list: https://launchpad.net/~widelands-dev
Post to : firstname.lastname@example.org
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp