[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: serveur de ping



> celle avec wget est mauvaise car la page va vite être dans le cache de
> Squid

Oops... Mea culpa, effectivement, c'est foireux. Lidée serait alors
d'avoir sur un site perso une page PHP dans laquelle on met :

<?php
header("Pragma: no-cache");
header("Expires: 0");
header("Cache-control: private, no-cache, must-revalidate");
header("Content-Type: text/plain");
echo date ("D, d M Y h:i:s O");
?>

Tu n'as plus qu'à récupérer avec wget, en espérant que le cache est
respectueux des standards... J'ai bon, c'te fois ?

Craintivement,
le Moine Fou
-- 
mailto:pierre.thierry@moine-fou.org
OpenPGP 0xD9D50D8A

Attachment: pgpmpNUivULxB.pgp
Description: PGP signature


Reply to: