PHP的filemtime函数可以用来获取文件的最后修改时间。你可以将文件的最后修改时间保存在一个变量中,然后定期检查文件的最后修改时间是否发生变化,以判断文件是否被修改过。
以下是一个示例代码:
$filename = 'testfile.txt';
// 获取文件的最后修改时间
$lastModified = filemtime($filename);
// 每隔一段时间检查文件的最后修改时间是否有变化
while (true) {
clearstatcache(); // 清除文件状态缓存
$currentModified = filemtime($filename);
if ($currentModified != $lastModified) {
echo "文件已被修改\n";
// 在这里可以执行相应的操作
$lastModified = $currentModified; // 更新最后修改时间
}
sleep(5); // 每隔5秒检查一次
}
在这个示例中,我们首先获取文件的最后修改时间,并将其保存在变量$lastModified中。然后进入一个无限循环,在每次循环中检查文件的最后修改时间是否有变化,如果有变化则输出一条消息并更新$lastModified变量。最后通过sleep函数每隔5秒执行一次检查。