X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/27af9b102c2d6167b9025d594f8cb75e4dd76a03..bc5e15996adbeb2aebf0413a37e165ed7750f4c5:/lib-php/cmd.php?ds=sidebyside diff --git a/lib-php/cmd.php b/lib-php/cmd.php index 07000478..a52e8fce 100644 --- a/lib-php/cmd.php +++ b/lib-php/cmd.php @@ -100,12 +100,8 @@ function getCmdOpt($aArg, $aSpec, &$aResult, $bExitOnError = false, $bExitOnUnkn if ($aCounts[$aLine[0]] > $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; } } }