X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/27af9b102c2d6167b9025d594f8cb75e4dd76a03..456d439e97675ca77018733f3106f507c3eedaa1:/lib-php/cmd.php?ds=sidebyside diff --git a/lib-php/cmd.php b/lib-php/cmd.php index 07000478..922193bc 100644 --- a/lib-php/cmd.php +++ b/lib-php/cmd.php @@ -1,4 +1,12 @@ $aLine[3]) { showUsage($aSpec, $bExitOnError, 'Option \''.$aLine[0].'\' is pressent too many times'); } - switch ($aLine[6]) { - case 'bool': - if (!array_key_exists($aLine[0], $aResult)) { - $aResult[$aLine[0]] = false; - } - break; + if ($aLine[6] == 'bool' && !array_key_exists($aLine[0], $aResult)) { + $aResult[$aLine[0]] = false; } } }