From 01a8b97900a917df1164e71daf21d4ac87f81164 Mon Sep 17 00:00:00 2001
From: laf <neil@lathwood.co.uk>
Date: Fri, 6 Mar 2015 15:49:35 +0000
Subject: [PATCH] Moved to jquery for refresh

---
 html/index.php | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/html/index.php b/html/index.php
index db8b9807e2..fd4e3d1691 100755
--- a/html/index.php
+++ b/html/index.php
@@ -142,9 +142,6 @@ if (isset($config['page_title'])) { $config['page_title_prefix'] = $config['page
   <base href="<?php echo($config['base_url']); ?>" />
   <meta http-equiv="content-type" content="text/html; charset=utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<?php
-if ($config['page_refresh']) { echo('  <meta http-equiv="refresh" content="'.$config['page_refresh'].'" />' . "\n"); }
-?>
   <link href="css/bootstrap.min.css" rel="stylesheet" type="text/css" />
   <link href="css/bootstrap-datetimepicker.min.css" rel="stylesheet" type="text/css" />
   <link href="css/bootstrap-switch.min.css" rel="stylesheet" type="text/css" />
@@ -340,6 +337,24 @@ if (is_array($sql_debug) && is_array($php_debug)) {
 }
 
 ?>
-
 </body>
+<?php
+
+if ($no_refresh !== TRUE && $config['page_refresh'] != 0) {
+    $refresh = $config['page_refresh'] * 1000;
+    echo('<script> type="text/javascript">
+        $(document).ready(function() {
+            setInterval("refreshPage()", '. $refresh .');
+        });
+
+        function refreshPage() {
+            location.reload();
+        }
+
+    </script>');
+
+}
+
+?>
+
 </html>