# HG changeset patch
# User Tom Fredrik "BFG" Klaussen <bfg@blenning.no>
# Date 1348058400 -7200
# Node ID 75ab765300d1e1883d5580a412f2664d80c526fe
# Parent  a64e8f968e7e290968c717ec7597c2b7e4d0c767
Fix error which caused mtime for html files not to be updated.

diff -r a64e8f968e7e -r 75ab765300d1 cache_check.inc
--- a/cache_check.inc	Wed Sep 19 14:31:02 2012 +0200
+++ b/cache_check.inc	Wed Sep 19 14:40:00 2012 +0200
@@ -17,8 +17,10 @@
 }
 
 function cache_time($path) {
+  global $newest;
   $mtime = filemtime($path);
   if ($mtime > $newest) {
+    print $newest;
     $newest = $mtime;
   }
 }