为了记忆百度蜘蛛的行踪,写了以下的PHP函数,分两个函数,一个是判断蜘蛛名称,一个是记忆蜘蛛到文件,可以自己看一下