[Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands

2019-01-30 Thread Toni Förster
Toni Förster has proposed merging lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands with lp:~widelands-dev/widelands/collectors_notification as a prerequisite. Commit message: - Notifications for Territorial are unified. - Notifications are properly formatted (hour an

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands

2019-01-30 Thread Toni Förster
The proposal to merge lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands has been updated. Commit message changed to: - Notifications for Territorial are unified. - Notifications are properly formatted (hour and minute) - remaining time notifications and winning/losin

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1811583-desync-with-territorial into lp:widelands

2019-01-30 Thread Notabilis
Sorry for the late response. Currently, these functions are indeed called for all players in parallel within the win condition scripts. But if this would change for whichever reason, the game would desync. A point where this happened are the functions within ui.lua which call the sleep() functio

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1811583-desync-with-territorial into lp:widelands

2019-01-30 Thread Klaus Halfmann
Review: Approve compile, testplay We played this to the End on a 3vs3 Game on some large Map and had no problems whatsover. This way I finally learned Tonis game-name. Traviss had an error with apt.llvm.org port one build only. @bunnbot merge -- https://code.launchpad.net/~widelands-dev/widel