]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib-php/admin/update.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib-php / admin / update.php
index 81e0b832100acddc462d384a5158637224e21c09..fae4a783c6bebfdf8cd1560cf5fb2a541ee9770f 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');