Fix #7886: leaders type set to null in campaigns. (#7887)

This commit is contained in:
gfgtdf 2023-10-21 18:24:49 +02:00 committed by GitHub
parent cde57bca9d
commit c5cfebb5cc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1075,7 +1075,7 @@ config side_engine::new_config() const
(*leader)["type"] = flg_.current_leader();
(*leader)["gender"] = flg_.current_gender();
LOG_MP << "side_engine::new_config: side=" << index_ + 1 << " type=" << (*leader)["type"] << " gender=" << (*leader)["gender"];
} else {
} else if(!controller_lock_) {
// TODO: FIX THIS SHIT! We shouldn't have a special string to denote no-leader-ness...
(*leader)["type"] = "null";
(*leader)["gender"] = "null";