Php 怎么只获取访问页面的http状态码

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

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

如果百度可正常访问，当然上面的代码运行结果是200了。

curl相关的详细用法，请参阅：http://cn2.php.net/manual/zh/ref.curl.php

曾写过一个c#版本的获取网页内容的blog：.net如何获取网页内容