edit/page: ignore saving unaltered body

Do not overwrite an unaltered file, preventing mtime update and noop commit
(minor speedup).

diff --git a/edit/page/index.php b/edit/page/index.php
index 194a25d88a476b85d367cd5b46cecd5b5bb54727..99c8cd48bf747d89259286fdfd9ed37268712130 100644 (file)
--- a/edit/page/index.php
+++ b/edit/page/index.php
@@ -69,6 +69,9 @@ if (!strlen($upload)) {
 if (!file_exists(dirname($filename)) and !mkdir(dirname($filename), 0777, TRUE))
        abort("fout bij aanmaken van map voor $filename", '500 save error');
 
+if (file_exists($filename) and file_get_contents($filename) === $upload)
+       abort('niet aangepast', '200 unaltered');
+
 if (!file_put_contents($filename, $upload))
        abort("fout bij schrijven van $filename", '500 save error');