Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands

2017-06-05 Thread GunChleoc
The problem was that the old building gets destroyed and a new one created in the same spot. This is partially done via scheduled playercommands, so we can have nondeterministic delays here. Sending a note to the building window fixes the issue. I'd still like to look some more at that

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/net-boost-asio into lp:widelands

2017-06-05 Thread Notabilis
Today it does not happen for me anymore. Really strange effect, no idea what happened there. So, if no-one has any requests or suggestions left, lets merge this? -- https://code.launchpad.net/~widelands-dev/widelands/net-boost-asio/+merge/324364 Your team Widelands Developers is subscribed to