]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/admin/update.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / admin / update.php
index 50f611d71aa9ab7c9294cc649f7394eb030703ff..03fcdcafb0c93e623e80f5a0bdc8da491ff48187 100644 (file)
@@ -53,6 +53,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');