j'ai testé un get_headers : je ne récupère pas grand chose !
Le content_type fonctionne (retourne html/xml), le server_type, mais pas le last_modified
Apparemment, ça ne semble pas possible de récupérer la date de dernière modif (ou timestamp) d'un fichier sur un serveur.
EDIT : ça a l'air mal barré mon histoire ! http://forum.phpfrance.com/php-ava [...] ml#p409017
Je vais proposer au fournisseur du fichier de mettre à dispo en plus du fichier, un simple fichier TXT dont le nom sera le timestamp de l'autre.
Message édité par F22Raptor le 02-10-2013 à 21:55:12
---------------
Is it a bird? Is it a plane? No it s F22Raptor ! - I love flying because football, baseball, rugby, and golf only take one ball