#1 gethostbyname failed

[Anonymous]

Prove this script:
________
<?

$stdin = fopen('php://stdin', 'r');
$myaction = fgets($stdin,100);
function readin()
{
global $stdin;
$in=fgets($stdin,100);
return $in;
}

echo "Give me an url:\n";
$url = readin();
$html = implode(" ", file($url));

?>
_________

The errore is: "gethostbyname failed"

Can you a advise me when the bug is fix?
Thx alimorta@NOSPAM-libero.it (remove NOSPAM-)