X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/c7c23fb4aeaa6cb21200d46b936ddbdc3adc292e..27ea1bb42db0356a81eb9fadb5515f9abf2bb130:/lib/log.php?ds=sidebyside diff --git a/lib/log.php b/lib/log.php index 8022376d..361c0fb1 100644 --- a/lib/log.php +++ b/lib/log.php @@ -13,7 +13,7 @@ $_SERVER["REMOTE_ADDR"], $_SERVER['QUERY_STRING'], $sQuery - ); + ); if (CONST_Log_DB) { @@ -29,21 +29,21 @@ if (CONST_Log_File && CONST_Log_File_ReverseLog != '') { - if ($sType == 'reverse') - { - $aStartTime = explode('.',$hLog[0]); - file_put_contents(CONST_Log_File_ReverseLog, - $aStartTime[0].','.$aStartTime[1].','. - php_uname('n').','. - '"'.addslashes(isset($_SERVER['HTTP_REFERER'])?$_SERVER['HTTP_REFERER']:'').'",'. - '"'.addslashes($hLog[1]).'",'. - $_GET['lat'].','. - $_GET['lon'].','. - $_GET['zoom'].','. - '"'.addslashes($_SERVER['HTTP_USER_AGENT']).'",'. - '"'.addslashes($sOutputFormat).'"'."\n", - FILE_APPEND); - } + if ($sType == 'reverse') + { + $aStartTime = explode('.',$hLog[0]); + file_put_contents(CONST_Log_File_ReverseLog, + $aStartTime[0].','.$aStartTime[1].','. + php_uname('n').','. + '"'.addslashes(isset($_SERVER['HTTP_REFERER'])?$_SERVER['HTTP_REFERER']:'').'",'. + '"'.addslashes($hLog[1]).'",'. + $_GET['lat'].','. + $_GET['lon'].','. + $_GET['zoom'].','. + '"'.addslashes($_SERVER['HTTP_USER_AGENT']).'",'. + '"'.addslashes($sOutputFormat).'"'."\n", + FILE_APPEND); + } } return $hLog; @@ -66,17 +66,17 @@ if (CONST_Log_File && CONST_Log_File_SearchLog != '') { - $aStartTime = explode('.',$hLog[0]); - file_put_contents(CONST_Log_File_SearchLog, - $aStartTime[0].','.$aStartTime[1].','. - php_uname('n').','. - '"'.addslashes(isset($_SERVER['HTTP_REFERER'])?$_SERVER['HTTP_REFERER']:'').'",'. - '"'.addslashes($hLog[1]).'",'. - '"'.addslashes($hLog[3]).'",'. - '"'.addslashes($_SERVER['HTTP_USER_AGENT']).'",'. - '"'.addslashes((isset($_GET['format']))?$_GET['format']:'').'",'. - $iNumResults."\n", - FILE_APPEND); + $aStartTime = explode('.',$hLog[0]); + file_put_contents(CONST_Log_File_SearchLog, + $aStartTime[0].','.$aStartTime[1].','. + php_uname('n').','. + '"'.addslashes(isset($_SERVER['HTTP_REFERER'])?$_SERVER['HTTP_REFERER']:'').'",'. + '"'.addslashes($hLog[1]).'",'. + '"'.addslashes($hLog[3]).'",'. + '"'.addslashes($_SERVER['HTTP_USER_AGENT']).'",'. + '"'.addslashes((isset($_GET['format']))?$_GET['format']:'').'",'. + $iNumResults."\n", + FILE_APPEND); } }