带超时的getHeader函数

跳至 [1] [2] [全屏预览]

    function getHeaders($url,$timeout=2)
    {
        $ch=curl_init();
        curl_setopt($ch,CURLOPT_URL,$url);
        curl_setopt($ch,CURLOPT_HEADER,true);
        curl_setopt($ch,CURLOPT_NOBODY,true);
        curl_setopt($ch,CURLOPT_RETURNTRANSFER,true);
        curl_setopt($ch,CURLOPT_TIMEOUT,$timeout);
        $data=curl_exec($ch);
        curl_close($ch);
        if(empty($data)) return false;
        $headers=explode("\n",$data);
        foreach ($headers as $key=>$headerLine){
            if(strlen($headerLine)>1){
                if(strpos($headerLine,':')!==false) $headers[stristr($headerLine,':',true)]=trim(stristr($headerLine,':'),': ');
            }else{
                unset($headers[$key]);
            }
        }
        return  $headers;
    }