just a small change to update session info (and the session because every reques…

…t does this) on window focus

@@ -4,7 +4,10 @@ $(document).ready(function() {
 	var sval = new ServerVal("#randval");
 	var sval = new ServerVal("#randval");
 
 
 	sess = new Session("#sessinfo");
 	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() {
 	$("ul#menu li:eq(0)").click(function() {
 		sval.start();
 		sval.start();