Errore con file_get_content

[Alhazred]

if ( @file_get_contents($url) !== FALSE ) //@ per evitare il warning
{
    echo 'ok';
}
else
{
    echo 'la pagina non esiste';
}