Je crée un service de découverte de flux rss en récupérant une URL de page et en recherchant les balises <link>
dans l'en-tête de la page. Le problème est que certaines URL prennent vraiment beaucoup de temps à servir la source de la page, donc mon code reste très souvent bloqué à file_get_contents($url)
.file_get_contents accélération
Y at-il un moyen de le faire avec un délai d'attente prédéfini, par exemple si 10 secondes se sont écoulées et s'il n'y a toujours pas de contenu servi, il suffit de supprimer cette URL et passer à la suivante? Je pensais utiliser le paramètre maxLen
pour obtenir seulement une partie de la source (<head>..</head>
) mais je ne suis pas sûr si cela s'arrêterait réellement après que les octets reçus soient atteints nécessiterait le chargement complet de la page. L'autre problème avec cela est que je n'ai aucune idée de la valeur à définir ici car chaque page a un contenu différent dans le tag head
donc les tailles varient.