Maison >développement back-end >tutoriel php >PHP file_get_contents 设置超时时间

PHP file_get_contents 设置超时时间

WBOY
WBOYoriginal
2016-06-23 13:15:211318parcourir

    $opts = array('http' =>

array(

'method'  => 'GET',

'timeout' => 3

)

);

$context  = stream_context_create($opts);

$url = "www.google.com";

$text = @file_get_contents($url,false,$context,-1,100);

if($text==FALSE){

 return FALSE;

}

return TRUE;


Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn