Merge remote-tracking branch 'upstream/master'

[nominatim.git] / utils / update.php

diff --git a/utils/update.php b/utils/update.php
index 033c3019aba939d75facd99c6e4b974d493c6d1a..d91c8a7685e77e1e2b3d54ad3a6b459248b0bcc7 100644 (file)
--- a/utils/update.php
+++ b/utils/update.php
@@ -49,6 +49,7 @@ $aCMDOptions
 getCmdOpt($_SERVER['argv'], $aCMDOptions, $aResult, true, true);
 
 if (!isset($aResult['index-instances'])) $aResult['index-instances'] = 1;
+
 if (!isset($aResult['index-rank'])) $aResult['index-rank'] = 0;
 
 date_default_timezone_set('Etc/UTC');