automatic page refresh support + config setting

Closes: https://github.com/pommi/CGP/pull/35

2 files changed, 9 insertions, 0 deletions

diff --git a/conf/config.php b/conf/config.php
index 7107841..fc10a43 100644
--- a/conf/config.php
+++ b/conf/config.php
@@ -54,6 +54,9 @@ $CONFIG['graph_smooth'] = false;
 # browser cache time for the graphs (in seconds)
 $CONFIG['cache'] = 90;
 
+# page refresh (in seconds)
+$CONFIG['page_refresh'] = '';
+
 # default width/height of the graphs
 $CONFIG['width'] = 400;
 $CONFIG['heigth'] = 175;
diff --git a/inc/html.inc.php b/inc/html.inc.php
index 9a5344b..478045c 100644
--- a/inc/html.inc.php
+++ b/inc/html.inc.php
@@ -22,6 +22,12 @@ function html_start() {
         <meta name="viewport" content="width=1050, initial-scale=1.0, maximum-scale=1.0, user-scalable=yes">
 
 EOT;
+        if (isset($CONFIG['page_refresh']) && is_numeric($CONFIG['page_refresh'])) {
+                echo <<<EOT
+        <meta http-equiv="refresh" content="{$CONFIG['page_refresh']}">
+
+EOT;
+        }
 
         if ($CONFIG['graph_type'] == 'canvas') {
                 echo <<<EOT