X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/ad1d429de64ac037470f92e0492211a41bd2c613..a446ea5ffc2e3c559d93f3c4f242ff7a579f0860:/lib/log.php?ds=sidebyside diff --git a/lib/log.php b/lib/log.php index 501259d0..59e04d17 100644 --- a/lib/log.php +++ b/lib/log.php @@ -3,7 +3,7 @@ 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'];