From 6a051d97a8528935a47d82a6ca689ccca15d471c Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Wed, 3 Jun 2015 23:04:44 +0200
Subject: [PATCH] reload page when session expire

---
 js/timer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/timer.js b/js/timer.js
index d919295..bf605e5 100644
--- a/js/timer.js
+++ b/js/timer.js
@@ -1,5 +1,5 @@
 /* vim: set ts=4 tw=4 sw=4 noet: */
-var timerRef=setInterval(function(){myTimer()}, 100);
+var timerRef=setInterval(function(){myTimer()}, 300);
 var timeStart = new Date().getTime() + timeout;
 
 function myTimer() {
-- 
2.39.2