]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib-php/cmd.php
fix merge issues
[nominatim.git] / lib-php / cmd.php
index 922193bccb32cde13122917737dd268772e21f3a..6f1299dd16b8549f6b473adfbb77af851bb111f6 100644 (file)
@@ -106,7 +106,7 @@ function getCmdOpt($aArg, $aSpec, &$aResult, $bExitOnError = false, $bExitOnUnkn
                 showUsage($aSpec, $bExitOnError, 'Option \''.$aLine[0].'\' is missing');
             }
             if ($aCounts[$aLine[0]] > $aLine[3]) {
-                showUsage($aSpec, $bExitOnError, 'Option \''.$aLine[0].'\' is pressent too many times');
+                showUsage($aSpec, $bExitOnError, 'Option \''.$aLine[0].'\' is present too many times');
             }
             if ($aLine[6] == 'bool' && !array_key_exists($aLine[0], $aResult)) {
                 $aResult[$aLine[0]] = false;