判断是否是蜘蛛,如果是蜘蛛给一个蜘蛛页面,如果是人就给个人看的页面

<?
    function isCrawler() {
            $agent= strtolower($_SERVER['HTTP_USER_AGENT']);
            if (!empty($agent)) {
                    $spiderSite= array(
                            "TencentTraveler",
                            "Baiduspider+",
                            "BaiduGame",
                            "Googlebot",
                            "msnbot",
                            "Sosospider+",
                            "Sogou web spider",
                            "ia_archiver",
                            "Yahoo! Slurp",
                            "YoudaoBot",
                            "Yahoo Slurp",
                            "MSNBot",
                            "Java (Often spam bot)",
                            "BaiDuSpider",
                            "Voila",
                            "Yandex bot",
                            "BSpider",
                            "twiceler",
                            "Sogou Spider",
                            "Speedy Spider",
                            "Google AdSense",
                            "Heritrix",
                            "Python-urllib",
                            "Alexa (IA Archiver)",
                            "Ask",
                            "Exabot",
                            "Custo",
                            "OutfoxBot/YodaoBot",
                            "yacy",
                            "SurveyBot",
                            "legs",
                            "lwp-trivial",
                            "Nutch",
                            "StackRambler",
                            "The web archive (IA Archiver)",
                            "Perl tool",
                            "MJ12bot",
                            "Netcraft",
                            "MSIECrawler",
                            "WGet tools",
                            "larbin",
                            "Fish search",
                    );
                    foreach($spiderSite as $val) {
                            $str = strtolower($val);
                            if (strpos($agent, $str) !== false) {
                                    return true;
                            }
                    }
            } else {
                    return false;
            }
    }
     
     
    ?>
     
    <?
    if(!isCrawler())header('Location: '.$public_r['add_renurl']?$public_r['add_renurl']:'https://zhanghaiyang.net/');
     
    ?>