php获取网页返回的http状态码

       在某种场合下，常常需要获取访问页面的http状态码，而不需要返回页面的内容。怎么才能实现这样的功能呢？请参阅下面关键代码： 

1. <?php  
2.     function GetHttpStatusCode($url){   
3.         $curl = curl_init();  
4.         curl_setopt($curl,CURLOPT_URL,$url);//获取内容url  
5.         curl_setopt($curl,CURLOPT_HEADER,1);//获取http头信息  
6.         curl_setopt($curl,CURLOPT_NOBODY,1);//不返回html的body信息  
7.         curl_setopt($curl,CURLOPT_RETURNTRANSFER,1);//返回数据流，不直接输出  
8.         curl_setopt($curl,CURLOPT_TIMEOUT,30); //超时时长，单位秒  
9.         curl_exec($curl);  
10.         $rtn= curl_getinfo($curl,CURLINFO_HTTP_CODE);  
11.         curl_close($curl);  
12.         return  $rtn;  
13.     }  
14.     $url="http://www.baidu.com";  
15.     echo GetHttpStatusCode($url);                                                                                                                       
16. ?>