From 8965d2fc8aeca1e6122fdb70590f7a84a770c161 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Wed, 17 Jan 2018 14:35:30 +0100
Subject: [minilinux] Check md5 if filesize and mtime failed to hint at changed
 files

---
 modules-available/minilinux/page.inc.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'modules-available')

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;
 					}
-- 
cgit v1.2.3-55-g7522