|
8.38.30 fileatime()
Renvoie la date à laquelle le fichier a été accédé pour la dernière fois
[ Exemples avec fileatime ] PHP 3, PHP 4, PHP 5
int
fileatime (
string
filename
)
fileatime
renvoie la date à laquelle le fichier
filename
a été accédé pour la dernière fois, ou
FALSE
en cas d'erreur.
Note : La date de dernière modification d'un fichier est supposé changer
à chaque fois que les blocks de données du fichier ont commencés
à être lus. Cela peut être très couteux en terme de performance lorsqu'une
application accède régulièrement à beaucoup de fichiers ou de répertoires.
La plupart des systèmes de fichiers Unix peuvent être montés en ayant
désactivés cette information pour accroître les performances d'une telle
application ; Les nouvelles
USENET
sont un bon exemple.
Sur de telles systèmes de fichiers, cette fonction devient totalement inutile.
| Note | |
Les résultats de cette fonction
sont mis en cache. Voyez la fonction
clearstatcache
pour plus
de détails.
|
Array
| Exemple avec fileatime |
<?php
// affiche : un_fichier.txt a été accédé le : December 29 2002 22:16:23.
$filename = 'un_fichier.txt';
if (file_exists($filename)) {
echo "$filename a été accédé le : " . date("F d Y H:i:s.", fileatime($filename));
}
?>
|
Voir aussi
filemtime
,
fileinode
et
date
.
|
