php - 如何使用 WinBinder 计时器检查文件大小？

Question

我需要通过计时器检查文件大小是否已更改，但即使文件更大，它仍返回相同的大小。

计时器设置正确，一切都应该没问题，但事实并非如此。

我尝试将文件大小赋予变量，甚至直接将文件大小（路径/到/文件）赋予函数，但没有任何效果，它总是返回零大小（最初是）。

我还尝试从头开始给文件一些内容，然后它返回正确的大小，但是当大小改变时，它仍然返回原始大小。

这是负责检查的代码部分：

case ID_TIMER:
    $filesize = filesize(cesta."/db/scanned.txt");
    if($filesize > $filesize_last) {
      wb_message_box($window,"Zvětšeno","Test");
    }
    break;

Answer 1

所以，如果有人也会寻找这个，我做了一个解决方法。

Winbinder 由于未知原因不适用于文件大小，因此需要使用类似的东西

strlen(file_get_contents(cesta."/db/scanned.txt"));

哪个工作得很好。