From 784364db3cc9b5089f1ec5019ff5e056b8806039 Mon Sep 17 00:00:00 2001
From: Georg Hopp <georg@steffers.org>
Date: Tue, 13 Mar 2012 07:48:18 +0100
Subject: [PATCH] just a small change to update session info (and the session
 because every request does this) on window focus

---
 assets/js/init.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/assets/js/init.js b/assets/js/init.js
index e8066e1..a0e6ec6 100644
--- a/assets/js/init.js
+++ b/assets/js/init.js
@@ -4,7 +4,10 @@ $(document).ready(function() {
 	var sval = new ServerVal("#randval");
 
 	sess = new Session("#sessinfo");
-	$.getJSON("/sessinfo/", $.proxy(sess.loadJSON, sess));
+
+	$(window).focus(function() {
+		$.getJSON("/sessinfo/", $.proxy(sess.loadJSON, sess));
+	});
 
 	$("ul#menu li:eq(0)").click(function() {
 		sval.start();