J'ai besoin de mettre à jour régulièrement une page html statique (data.html), stockée dans un dossier cache. Une méthode simple consisterait à générer un fichier temporaire data.tmp dans le même répertoire que data.html et d'effectuer ensuite un rename('data.tmp', 'data.html').
Visiblement, sous unix ça ne doit pas poser de problème d'après ce que j'ai lu dans la doc PHP. Le renomage est IMMEDIAT, data.html reste TOUJOURS accessible. L'utilisateur qui demande la page data.html ne risque donc pas alors d'obtenir une page tronquée ou un 404 ?
Sous windows c'est un autre problème, puisque rename apparement ne fonctione pas si le nouveau nom du fichier correspond à un fichier déjà existant.
Est-ce qu'il existe une alternative ou une méthode plus efficace qui me permette de mettre à jour data.html sachant que la page doit toujours être accessible ?
Merci d'avance![]()
Partager