X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/c3788d765ed4e7ddf00794085af757714bc102cf..f289db9bfe21c5a725e751be98e2b824026e2310:/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];