]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/cmd.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / cmd.php
index 588bb7d1aeab70a4dd4cef0a1c38da0dd82ea6df..37ba87b8a51c69e38ca0758d378292f61590f756 100644 (file)
@@ -1,5 +1,6 @@
 <?php
 
+
 function getCmdOpt($aArg, $aSpec, &$aResult, $bExitOnError = false, $bExitOnUnknown = false)
 {
     $aQuick = array();
@@ -109,8 +110,8 @@ function showUsage($aSpec, $bExit = false, $sError = false)
             $aNames = array();
             if ($aLine[1]) $aNames[] = '-'.$aLine[1];
             if ($aLine[0]) $aNames[] = '--'.$aLine[0];
-            $sName = join(', ',$aNames);
-            echo '  '.$sName.str_repeat(' ',30-strlen($sName)).$aLine[7]."\n";
+            $sName = join(', ', $aNames);
+            echo '  '.$sName.str_repeat(' ', 30-strlen($sName)).$aLine[7]."\n";
         } else {
             echo $aLine."\n";
         }