]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib-php/log.php
port export function to Python
[nominatim.git] / lib-php / log.php
index b6d7a1a9fca482139d1573f41823ae918a9f632f..1d567733938d5afdbf783442c75ac9c5ccf5cf08 100644 (file)
@@ -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];