]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/admin/update.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / admin / update.php
index fba5300b07ee4ec0d5791d01895bfe16eb1310e3..e8d873cdb6bfeddd5159951b2b7774ecee99b166 100644 (file)
@@ -52,6 +52,7 @@ loadSettings($aCMDResult['project-dir'] ?? getcwd());
 setupHTTPProxy();
 
 if (!isset($aResult['index-instances'])) $aResult['index-instances'] = 1;
+
 if (!isset($aResult['index-rank'])) $aResult['index-rank'] = 0;
 
 date_default_timezone_set('Etc/UTC');