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

2015-11-13 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/warehouse_worker into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/warehouse_worker/+merge/277221 -- Your team Widelands Developers is subscribed to

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

2015-11-12 Thread TiborB
Review: Approve good then, go ahead, this really needs fixing fast -- https://code.launchpad.net/~widelands-dev/widelands/warehouse_worker/+merge/277221 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/warehouse_worker. _

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

2015-11-12 Thread GunChleoc
Answered :) Diff comments: > === modified file 'src/logic/warehouse.cc' > --- src/logic/warehouse.cc2015-10-18 15:42:01 + > +++ src/logic/warehouse.cc2015-11-11 09:47:46 + > @@ -883,30 +883,30 @@ > worker->set_location(this); // > ba

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

2015-11-11 Thread TiborB
It seems that crash is gone, I left small question in diff Diff comments: > === modified file 'src/logic/warehouse.cc' > --- src/logic/warehouse.cc2015-10-18 15:42:01 + > +++ src/logic/warehouse.cc2015-11-11 09:47:46 + > @@ -883,30 +883,30 @@ >

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

2015-11-11 Thread GunChleoc
Yes, that's the one. -- https://code.launchpad.net/~widelands-dev/widelands/warehouse_worker/+merge/277221 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/warehouse_worker into lp:widelands. ___ M

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

2015-11-11 Thread TiborB
I just opened the bug bug-1515161 - this is probably the same issue ... -- https://code.launchpad.net/~widelands-dev/widelands/warehouse_worker/+merge/277221 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/warehouse_worker into lp:widelands.

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

2015-11-11 Thread GunChleoc
GunChleoc has proposed merging lp:~widelands-dev/widelands/warehouse_worker into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands/warehouse_worker/+merge/277221 Fixed bug in warehouse where check w