From c9f26b66551a0b396c32f71a61505e50351502ba Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Wed, 3 Jun 2015 21:00:07 +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 1c2825f..d919295 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()},500);
+var timerRef=setInterval(function(){myTimer()}, 100);
 var timeStart = new Date().getTime() + timeout;
 
 function myTimer() {
-- 
2.39.2