From 8e5b8094cf8f77afe06055a6b0011bae3284bc1b Mon Sep 17 00:00:00 2001
From: Hauke Klement <dev@hklement.de>
Date: Fri, 13 Feb 2015 17:34:05 +0100
Subject: [PATCH] made dashboard refresh interval configurable

---
 app/assets/javascripts/dashboard.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/app/assets/javascripts/dashboard.js b/app/assets/javascripts/dashboard.js
index 6f4cd720..1e1437c9 100644
--- a/app/assets/javascripts/dashboard.js
+++ b/app/assets/javascripts/dashboard.js
@@ -1,5 +1,5 @@
 $(function() {
-  var REFRESH_INTERVAL = 5000;
+  var DEFAULT_REFRESH_INTERVAL = 5000;
 
   var refreshData = function() {
     var jqxhr = $.ajax({
@@ -30,6 +30,7 @@ $(function() {
 
   if ($.isController('dashboard')) {
     refreshData();
-    setInterval(refreshData, REFRESH_INTERVAL);
+    var refresh_interval = location.search.match(/interval=(\d+)/) ? parseInt(RegExp.$1) : DEFAULT_REFRESH_INTERVAL;
+    setInterval(refreshData, refresh_interval);
   }
 });