fix [side]type=""

this is now treated the same as having to type= attribute specified at all. fixes #1691
This commit is contained in:
gfgtdf 2017-05-14 12:47:33 +02:00 committed by GitHub
parent 9b9a720a32
commit b572928e26

View file

@ -246,7 +246,7 @@ protected:
// this hack shall be removed, since it messes up with 'multiple leaders'
// If this side tag describes the leader of the side
if (side_cfg_.has_attribute("type") && side_cfg_["type"] != "null" ) {
if (!side_cfg_["type"].empty() && side_cfg_["type"] != "null" ) {
handle_leader(side_cfg_);
}
for (const config &l : side_cfg_.child_range("leader")) {