0,0 → 1,77 |
<?php |
// +----------------------------------------------------------------------+ |
// | PHP Version 4 | |
// +----------------------------------------------------------------------+ |
// | Copyright (c) 1997-2004 The PHP Group | |
// +----------------------------------------------------------------------+ |
// | This source file is subject to version 3.0 of the PHP license, | |
// | that is bundled with this package in the file LICENSE, and is | |
// | available at through the world-wide-web at | |
// | http://www.php.net/license/3_0.txt. | |
// | If you did not receive a copy of the PHP license and are unable to | |
// | obtain it through the world-wide-web, please send a note to | |
// | license@php.net so we can mail you a copy immediately. | |
// +----------------------------------------------------------------------+ |
// | Authors: Aidan Lister <aidan@php.net> | |
// +----------------------------------------------------------------------+ |
// |
// $Id: get_headers.php,v 1.1 2005/05/10 07:50:53 aidan Exp $ |
|
|
/** |
* Replace get_headers() |
* |
* @category PHP |
* @package PHP_Compat |
* @link http://php.net/function.get_headers |
* @author Aeontech <aeontech@gmail.com> |
* @author Cpurruc <cpurruc@fh-landshut.de> |
* @author Aidan Lister <aidan@php.net> |
* @version $Revision: 1.1 $ |
* @since PHP 5.0.0 |
* @require PHP 4.0.0 (user_error) |
*/ |
if (!function_exists('get_headers')) { |
function get_headers($url, $format = 0) |
{ |
// Init |
$urlinfo = parse_url($url); |
$port = isset($urlinfo['port']) ? $urlinfo['port'] : 80; |
|
// Connect |
$fp = fsockopen($urlinfo['host'], $port, $errno, $errstr, 30); |
if ($fp === false) { |
return false; |
} |
|
// Send request |
$head = 'HEAD ' . $urlinfo['path'] . |
(isset($urlinfo['query']) ? '?' . $urlinfo['query'] : '') . |
' HTTP/1.0' . "\r\n" . |
'Host: ' . $urlinfo['host'] . "\r\n\r\n"; |
fputs($fp, $head); |
|
// Read |
while (!feof($fp)) { |
if ($header = trim(fgets($fp, 1024))) { |
list($key) = explode(':', $header); |
|
if ($format === 1) { |
// First element is the HTTP header type, such as HTTP 200 OK |
// It doesn't have a separate name, so check for it |
if ($key == $header) { |
$headers[] = $header; |
} else { |
$headers[$key] = substr($header, strlen($key)+2); |
} |
} else { |
$headers[] = $header; |
} |
} |
} |
|
return $headers; |
} |
} |
|
?> |