From 1e815e7c23b416acb3b8e88acdb275416c0afa1a Mon Sep 17 00:00:00 2001
From: Pim van den Berg
Date: Sun, 29 Dec 2013 16:27:24 +0100
Subject: automatic page refresh support + config setting

Closes: https://github.com/pommi/CGP/pull/35
---
 inc/html.inc.php | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'inc/html.inc.php')

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
-- 
cgit v1.1