- $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);
+ $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);