PHP文件时间没有更新


PHP filetime is not getting updated

我试图得到最后的文件修改时间作为一个实时的东西,但它没有得到更新…

<?php
$filename = 'include.php';
while(1){
    sleep(1);
    echo date('H:i:s',filemtime($filename))."'n";
}
?>

当我更新文件时,它没有得到最后更新的时间…

有人知道为什么吗?

谢谢!

如果你看到文档,它说

注意:这个函数的结果是缓存的。看到函数()查看详细信息。

因此,您必须在while结束时调用clearstatcache()