$user_agent = "Mozilla/5.0 (Windows NT 5.1; rv:13.0) Gecko/20100101 Firefox/13.0.1";
curl_setopt($ci, CURLOPT_USERAGENT, $user_agent); 
为什么我在IE浏览器里面获取
echo $_SERVER['HTTP_USER_AGENT'];
的时候不是上面设置的呢?