html5中文学习网

您的位置: 首页 > 网络编程 > PHP编程 » 正文

php获取远程文件大小及信息的函数(header头信息获取)_PHP教程_编程技术

[ ] 已经帮助:人解决问题
函数|文件大小|远程文件|header

php获取远程文件大小及信息的函数(header头信息获取)

阿里西西Alixixi.com开发团队在做一个客户系统时,需要做远程下载的功能,并实时显示进度条效果。

所以,需要预先读取远程文件的大小信息,然后做为实时下载进度条的参数。

功能函数如下,调用很简单,getFileSize("http://www.alixixi.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.alixixi.com/download/xml.rar")
?>

此函数获取远程文件大小的效果非常好,无论远程文件体积有多大,获取速度完全不受影响。

fWfHTML5中文学习网 - HTML5先行者学习网
fWfHTML5中文学习网 - HTML5先行者学习网
(责任编辑:)
推荐书籍
推荐资讯
关于HTML5先行者 - 联系我们 - 广告服务 - 友情链接 - 网站地图 - 版权声明 - 人才招聘 - 帮助