]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/log.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / log.php
index 501259d0ed2d48dfc8be60fe97ef5f40a07c268d..59e04d1745baf59f5e96232b59984187188f69df 100644 (file)
@@ -3,7 +3,7 @@
        function logStart(&$oDB, $sType = '', $sQuery = '', $aLanguageList = array())
        {
                $aStartTime = explode('.',microtime(true));
        function logStart(&$oDB, $sType = '', $sQuery = '', $aLanguageList = array())
        {
                $aStartTime = explode('.',microtime(true));
-               if (!$aStartTime[1]) $aStartTime[1] = '0';
+               if (!isset($aStartTime[1])) $aStartTime[1] = '0';
 
                $sOutputFormat = '';
                if (isset($_GET['format'])) $sOutputFormat = $_GET['format'];
 
                $sOutputFormat = '';
                if (isset($_GET['format'])) $sOutputFormat = $_GET['format'];