diff options
| author | Simon Rettberg | 2018-01-17 14:35:30 +0100 |
|---|---|---|
| committer | Simon Rettberg | 2018-01-17 14:35:30 +0100 |
| commit | 8965d2fc8aeca1e6122fdb70590f7a84a770c161 (patch) | |
| tree | c4bb59536854f26dd05951c266152be8934c8dec /modules-available | |
| parent | [syslog] Make client ip clickable, linking to statistics (diff) | |
| download | slx-admin-8965d2fc8aeca1e6122fdb70590f7a84a770c161.tar.gz slx-admin-8965d2fc8aeca1e6122fdb70590f7a84a770c161.tar.xz slx-admin-8965d2fc8aeca1e6122fdb70590f7a84a770c161.zip | |
[minilinux] Check md5 if filesize and mtime failed to hint at changed files
Diffstat (limited to 'modules-available')
| -rw-r--r-- | modules-available/minilinux/page.inc.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules-available/minilinux/page.inc.php b/modules-available/minilinux/page.inc.php index 2623500b..98b0191d 100644 --- a/modules-available/minilinux/page.inc.php +++ b/modules-available/minilinux/page.inc.php @@ -61,7 +61,8 @@ class Page_MiniLinux extends Page foreach ($selected['files'] as &$file) { $file['uid'] = 'dlid' . $count++; $local = CONFIG_HTTP_DIR . '/' . $system['id'] . '/' . $file['name']; - if (!file_exists($local) || filesize($local) !== $file['size'] || filemtime($local) < $file['mtime']) { + if (!file_exists($local) || filesize($local) !== $file['size'] || filemtime($local) < $file['mtime'] + || md5_file($local) !== $file['md5']) { $file['fileChanged'] = true; $system['systemChanged'] = true; } |