Redirection d'une page HTML directement dans un fichier

Bonjour,

Cette page HTML donnant des cours et des résultats toujours au même endroit,
je voudrais rediriger l'affichage de cette page dans un fichier sur mon
micro ou sur le site. Puis, ultérieurement, j'en ferai un traitement.

Ca se fait très bien avec la librairie curl, en php ou non. Pour php, cf
la section du manuel "kivabien".

Administrateur du site www.missions-courtes.com
Effectivement, ça risque d'être court...

a++
JG

Bonjour John,
Merci pour ces informations,
Pouvez-vous me donner l'URL de la librairie CURL ainsi que de la section du
manuel PHP qui traite de la question.
Cordialement
Michel
Administrateur du site www.missions-courtes.com



"John GALLET" <john.gallet@wanadoo.fr> a écrit dans le message news:
Pine.LNX.4.44.0411221158530.6365-100000@ns2261.ovh.net...

Bonjour,

Cette page HTML donnant des cours et des résultats toujours au même
endroit,

je voudrais rediriger l'affichage de cette page dans un fichier sur mon
micro ou sur le site. Puis, ultérieurement, j'en ferai un traitement.

Ca se fait très bien avec la librairie curl, en php ou non. Pour php, cf
la section du manuel "kivabien".

Administrateur du site www.missions-courtes.com
Effectivement, ça risque d'être court...

a++
JG

Merci John pour tes tuyaux.
J'ai trouvé une URL sur les fonctions CURL :
http://www.nexen.net/docs/php/annotee/ref.curl.php?lien=curl
C'est super.

Il suffit de faire :
// Redirection de la page HTML dans un fichier
// -------------------------------------------

$Fic_suivi = "Fichier_traitement.txt";

$ch = curl_init("http://www.yyyy.com/quota.cgi");
$fp = fopen("$Fic_suivi", "w");

curl_setopt($ch, CURLOPT_FILE, $fp);
curl_setopt($ch, CURLOPT_HEADER, 0);

curl_exec($ch);
curl_close($ch);
fclose($fp);

C'est impeccable.
Cordialement
Michel
Administrateur du site www.missions-courtes.com