]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib-php/cmd.php
postcodes: strip leading country codes
[nominatim.git] / lib-php / cmd.php
index 07000478082d9b3746261fd9ab5c072e38bdbdad..922193bccb32cde13122917737dd268772e21f3a 100644 (file)
@@ -1,4 +1,12 @@
 <?php
+/**
+ * SPDX-License-Identifier: GPL-2.0-only
+ *
+ * This file is part of Nominatim. (https://nominatim.org)
+ *
+ * Copyright (C) 2022 by the Nominatim developer community.
+ * For a full list of authors see the git log.
+ */
 
 require_once(CONST_LibDir.'/Shell.php');
 
@@ -100,12 +108,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;
             }
         }
     }