I think I know what is going on why it doesn't end. The game over message is 
probably correctly triggered, but the message get sent only to the Players 
remaining in the players table. as we check for player defeated the defeated 
players are removed from the players table and don't get the message anymore.
so we could try to use wl.Game().players instead in the game over message
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1802629-territorial-crash/+merge/359227
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1802629-territorial-crash.

_______________________________________________
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