[PHP] 'php_network_getaddresses getaddrinfo failed'... DNS ?

[polo03]

Salut à tous,

Donc voilà, j'ai un petit problème avec PHP :>
En effet, lorsque j'execute ce script en local :

Code : Tout sélectionner

<?php
$url = 'http://exemple.com/mapage.html';
$page = file_get_contents($url);
 

Il me renvoei cette erreur :

Code : Tout sélectionner

Warning:  file_get_contents(): php_network_getaddresses: getaddrinfo failed: Name or service not known in /srv/http/test.php on line 3
Warning:  file_get_contents(http://exemple.com/mapage.html): failed to open stream: php_network_getaddresses: getaddrinfo failed: Name or service not known in /srv/http/test.php on line 3

Le truc, c'est que ça marche parfaitement sur mon serveur mutu
Alors j'ai cru comprendre en parcourant les forums que c'était un problème dû aux DNS. J'ai donc tenté le même script en remplaçant par l'ip dudit site (google, pour mes tests), et effecvtivement là, ça à marché...

Donc ma question est simple : comment résoudre ce ptit problème de DNS si toutefiois c'en est bien un (ce qui me semble être la cas, m'enfin je peux me tromper...) ?

Merci d'avance pour votre aide.

PS¹ : j'ai déjà essayé avec curl, et non, ça ne fonctionne pas mieux.
PS² : et oui, 'allow_url_fopen' est bien à 'On' dans mon php.ini

[polo03]

Bon j'ai trouvé la solution (enfin je sais pas si on peut appeler ça une solution, m'enfin toujours est-il que ça remarche ) ! \o/

Donc en fait il suffisait de redémarrer apache (on ne se moque pas --' ) :

Code : Tout sélectionner

# systemctl restart httpd

J'avais déjà essayé pourtant, j'comprends pas trop pourquoi ça avait pas marché ... m'enfin le problème est - momentanément ? - corrigé