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