document.write('<?php');
document.write('
');
document.write('
function is_valid_url
($url)');
document.write('
{');
document.write('
$url = @
parse_url($url);
');
document.write('
');
document.write('
if (!
$url)');
document.write('
{');
document.write('
return false;
');
document.write('
}');
document.write('
');
document.write('
$url =
array_map(\'trim\',
$url);
');
document.write('
$url[\'port\'] =
(!
isset($url[\'port\'])) ?
80 :
(int
)$url[\'port\'];
');
document.write('
$path =
(isset($url[\'path\'])) ?
$url[\'path\'] :
\'\';
');
document.write('
');
document.write('
if ($path ==
\'\')');
document.write('
{');
document.write('
$path =
\'/\';
');
document.write('
}');
document.write('
');
document.write('
$path .=
(isset($url[\'query\'])) ?
"?$url[query]" :
\'\';
');
document.write('
');
document.write('
if (isset($url[\'host\']) AND
$url[\'host\'] !=
gethostbyname($url[\'host\']))');
document.write('
{');
document.write('
if (PHP_VERSION >=
5)');
document.write('
{');
document.write('
$headers = get_headers
("$url[scheme]://$url[host]:$url[port]$path");
');
document.write('
}');
document.write('
else');
document.write('
{');
document.write('
$fp =
fsockopen($url[\'host\'],
$url[\'port\'],
$errno,
$errstr,
30);
');
document.write('
');
document.write('
if (!
$fp)');
document.write('
{');
document.write('
return false;
');
document.write('
}');
document.write('
fputs($fp,
"HEAD $path HTTP/1.1\r\nHost: $url[host]\r\n\r\n");
');
document.write('
$headers =
fread($fp,
4096);
');
document.write('
fclose($fp);
');
document.write('
}');
document.write('
$headers =
(is_array($headers)) ?
implode("\n",
$headers) :
$headers;
');
document.write('
return (bool
)preg_match(\'#^HTTP/.*\s+[(200|301|302)]+\s#i\',
$headers);
');
document.write('
}');
document.write('
return false;
');
document.write('
}');
document.write('
');
document.write('
?> <?php
');
document.write('
');
document.write('if (is_valid_url(\'http://www.secondversion.com\'))
');
document.write('{
');
document.write(' do_something();
');
document.write('}
');
document.write('
');
document.write('?>
');
document.write('
');