]> git.openstreetmap.org Git - nominatim.git/commitdiff
set start time for indexing step
authorIrlJidel <donal.diamond@gmail.com>
Mon, 30 Sep 2013 12:20:24 +0000 (13:20 +0100)
committerIrlJidel <donal.diamond@gmail.com>
Mon, 30 Sep 2013 12:20:24 +0000 (13:20 +0100)
utils/update.php

index 533b48d69cec465dcdf71ad6e90da19939f8f2b1..ac7b5be842912ffd7c77dd7ecc48bd1606b217d1 100755 (executable)
 
                        // Index file
                        $sThisIndexCmd = $sCMDIndex;
+                        $fCMDStartTime = time();
 
                        if (!$aResult['no-npi'])
                        {