The proposal to merge lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands has been updated.
Description changed to: The basic idea is, we can guarantee that a failed or skipped program will always be continued after a grace time of 10 seconds. All calls within a program, may it be sleep or animate, are now part of a completed program cycle. For more details, see: https://code.launchpad.net/~widelands-dev/widelands/unify_sleep_time/+merge/368086 -- Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/failed_skipped_10s. _______________________________________________ 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