日期:2012-06-10 浏览次数:20630 次
php获取远程文件大小及信息的函数(header头信息获取)
爱易学习网aiyiweb.com开发团队在做一个客户系统时,需要做远程下载的功能,并实时显示进度条效果。
所以,需要预先读取远程文件的大小信息,然后做为实时下载进度条的参数。
功能函数如下,调用很简单,getFileSize("http://www.aiyiweb.com/download/xml.rar") ,就可以获取远程文件的大小了。
以下是引用片段: <?php function getFileSize($url){ $url = parse_url($url); if($fp = @fsockopen($url[’host’],empty($url[’port’])?80:$url[’port’],$error)){ fputs($fp,"GET ".(empty($url[’path’])?’/’:$url[’path’])." HTTP/1.1\r\n"); fputs($fp,"Host:$url[host]\r\n\r\n"); while(!feof($fp)){ $tmp = fgets($fp); if(trim($tmp) == ’’){ break; }else if(preg_match(’/Content-Length:(.*)/si’,$tmp,$arr)){ return trim($arr[1]); } } return null; }else{ return null; } } echo getFileSize("http://www.aiyiweb.com/download/xml.rar") ?> |
此函数获取远程文件大小的效果非常好,无论远程文件体积有多大,获取速度完全不受影响。