Bug fixed
Diff comments:
>
> === modified file 'src/map_io/map_buildingdata_packet.cc'
> --- src/map_io/map_buildingdata_packet.cc 2019-04-09 17:16:11 +0000
> +++ src/map_io/map_buildingdata_packet.cc 2019-05-11 12:50:41 +0000
> @@ -710,6 +710,12 @@
> productionsite.statistics_[i] = fr.unsigned_8();
> productionsite.statistics_string_on_changed_statistics_
> = fr.c_string();
> productionsite.production_result_ = fr.c_string();
> +
> + if (kCurrentPacketVersionProductionsite >= 7) {
I only changed kCurrentPacketVersionProductionsite, not the general version
> + productionsite.main_worker_ = fr.signed_32();
> + } else {
> + productionsite.main_worker_ =
> productionsite.working_positions_[0].worker ? 0 : -1;
> + }
> } else {
> throw UnhandledVersionError("MapBuildingdataPacket -
> Productionsite", packet_version,
>
> kCurrentPacketVersionProductionsite);
--
https://code.launchpad.net/~widelands-dev/widelands/productionsite-bugs/+merge/367306
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/productionsite-bugs.
_______________________________________________
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
