Bonjour à tous !
J'utilise la fonction php file() pour récupérer un flux rss distant et je rencontre un problème : lorsque le serveur distant ne répond pas, le script bloque ...
j'utilise :
est que c'est correct, et est ce qu'il y a une meilleure solution ??
la page qui pose problème : xxx
Merci de votre aide...
[edit] 404
J'utilise la fonction php file() pour récupérer un flux rss distant et je rencontre un problème : lorsque le serveur distant ne répond pas, le script bloque ...
j'utilise :
Code:
if (($content=@file($url)) !== FALSE)
{
traitement...
}
est que c'est correct, et est ce qu'il y a une meilleure solution ??
la page qui pose problème : xxx
Merci de votre aide...
[edit] 404