Merge pull request #3122 from miku0/sanitizer-final

[nominatim.git] / lib-php / log.php

diff --git a/lib-php/log.php b/lib-php/log.php
index d7e1493263a4ec9f475b81125156a74540cf28f9..1d567733938d5afdbf783442c75ac9c5ccf5cf08 100644 (file)
--- a/lib-php/log.php
+++ b/lib-php/log.php
@@ -1,4 +1,12 @@
 <?php
+/**
+ * SPDX-License-Identifier: GPL-2.0-only
+ *
+ * This file is part of Nominatim. (https://nominatim.org)
+ *
+ * Copyright (C) 2022 by the Nominatim developer community.
+ * For a full list of authors see the git log.
+ */
 
 
 function logStart(&$oDB, $sType = '', $sQuery = '', $aLanguageList = array())
@@ -70,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];