- 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($_GET['format']).'",'.
- $iNumResults."\n",
- FILE_APPEND);
+ if (CONST_Log_File)
+ {
+ $aOutdata = sprintf("[%s] %.4f %d %s \"%s\"\n",
+ $hLog[0], $fEndTime-$hLog[5], $iNumResults,
+ $hLog[4], $hLog[2]);
+ file_put_contents(CONST_Log_File, $aOutdata, FILE_APPEND | LOCK_EX);