From 7ff23fee3c531c7526e30560e768023dee2bc31b Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Wed, 3 Jun 2015 20:46:26 +0200
Subject: [PATCH] reload page when session expire

---
 js/timer.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/js/timer.js b/js/timer.js
index 54e9700..5760242 100644
--- a/js/timer.js
+++ b/js/timer.js
@@ -8,9 +8,10 @@ function myTimer() {
     var timeLeft = Math.round(((expire % 86400000) % 3600000) / 60000);
 
     if (timeLeft < 0) {
-        timeLeft = 'Expired';
-        document.getElementById("time").style.background = "red";
+        /*timeLeft = 'Expired';
+        document.getElementById("time").style.background = "red";*/
         clearInterval(timerRef);
+        location.reload();
     } else {
         timeLeft += 1;
         timeLeft = '< ' + timeLeft + ' min';
-- 
2.39.5