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     : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to