]> git.openstreetmap.org Git - nominatim.git/commitdiff
make sleep interval dependent on date of last batch
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 19 Sep 2013 20:56:55 +0000 (22:56 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Thu, 19 Sep 2013 20:56:55 +0000 (22:56 +0200)
utils/update.php

index d8509b37fe440648f31b4400103c63e0a874ccd3..ba0a5c2643ec510ac388b8a678f8c7eea80837aa 100755 (executable)
 
                        if ( CONST_Replication_Update_Interval > 60 )
                        {
-                               $iSleep = round(CONST_Replication_Update_Interval*0.8);
+                               $iSleep = max(0,(strtotime($sBatchEnd)+CONST_Replication_Update_Interval-time()));
                        }
                        else
                        {