判断蜘蛛

//增加蜘蛛判断 is_spider_baidu()==false
function is_spider_baidu() { 
$agent= strtolower($_SERVER['HTTP_USER_AGENT']); 
if (!empty($agent)) { 
$spiderSite= array(  
"Baiduspider",  
"Baiduspider-render",
); 
foreach($spiderSite as $val) { 
$str = strtolower($val); 
if (strpos($agent, $str) !== false) { 
return true; 
} 
} 
} else { 
return false; 
} 
} 
$adddate = timetodate($addtime, 3);
$editdate = timetodate($edittime, 3);
//是百度蜘蛛改成当前时间少两分钟
if(is_spider_baidu()==true){
$addtime=strtotime('-2 Minute');
$db->query("UPDATE LOW_PRIORITY {$table} SET addtime='{$addtime}' WHERe itemid=$itemid", 'UNBUFFERED');
}