X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/efafa5271957fb54b356ec1c90e8613f14de40d4..b310c86c55502f1bc2dfd7ada06220c1d278866c:/lib-php/log.php

diff --git a/lib-php/log.php b/lib-php/log.php
index b6d7a1a9..1d567733 100644
--- a/lib-php/log.php
+++ b/lib-php/log.php
@@ -78,7 +78,7 @@ function logEnd(&$oDB, $hLog, $iNumResults)
 
     if (CONST_Log_DB) {
         $aEndTime = explode('.', $fEndTime);
-        if (!$aEndTime[1]) {
+        if (!isset($aEndTime[1])) {
             $aEndTime[1] = '0';
         }
         $sEndTime = date('Y-m-d H:i:s', $aEndTime[0]).'.'.$aEndTime[1];