]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/ParameterParser.php
implement warming in new cli tool
[nominatim.git] / lib / ParameterParser.php
index cb03c6cc7c25c77f3b73f3b2347628a328734f83..32a848b93011fce3edaa1975ad6450369b121725 100644 (file)
@@ -118,4 +118,15 @@ class ParameterParser
         $aLangPrefOrder['type'] = 'type';
         return $aLangPrefOrder;
     }
+
+    public function hasSetAny($aParamNames)
+    {
+        foreach ($aParamNames as $sName) {
+            if ($this->getBool($sName)) {
+                return true;
+            }
+        }
+
+        return false;
+    }
 }