NEW FEATURE: added caching to stats.php

since reloading always took a while and things don't really
change that much over a day, I added a caching to it.

Signed-off-by: Arun Persaud <arun@nubati.net>

1 files changed, 24 insertions, 0 deletions

diff --git a/include/functions.php b/include/functions.php
index f8a0da4..8307648 100644
--- a/include/functions.php
+++ b/include/functions.php
@@ -1071,6 +1071,30 @@ function format_score_table_html($score,$userid)
   return $output;
 }
 
+function createCache($content, $cacheFile) 
+{
+  $fp = fopen($cacheFile,"w");
+  if($fp)
+    {
+      fwrite($fp,$content);
+      fclose($fp);
+    }
+  else
+    echo "WARNING: couldn't create cache file";
+
+  return;
+}
+
+function getCache($cacheFile, $expireTime) 
+{
+  if( file_exists($cacheFile) && 
+      filemtime($cacheFile )>( time() - $expireTime ) ) 
+    {
+      return file_get_contents($cacheFile);
+    }
+
+  return false;
+}
 
 
 ?>