reload page when session expire

diff --git a/js/timer.js b/js/timer.js
index 1c2825f77a67de2f34c815a683650bc29a052153..d9192953f661acfd5ba48ff790e009136e9c3004 100644 (file)
--- 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() {