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

2024-05-04 23:05:48

字体：大中小

来源：转载

供稿：网友

网页设计爱好者.com开发团队在做一个客户系统时，需要做远程下载的功能，并实时显示进度条效果。

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

功能函数如下，调用很简单，getfilesize("http://www.html.org.cn/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.html.org.cn/download/xml.rar")
?>

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

上一篇：PHP的常用的几大模板引擎

下一篇：php使用正则取得域名地址