Index: lams_tool_leader/web/pages/learning/leaderselection.jsp
===================================================================
diff -u -r596c4a1f58293b5e772f8a6ff8be83a63a23c201 -r0ec58b4b3e8fa566d02a0215fe9d8138da6de8a4
--- lams_tool_leader/web/pages/learning/leaderselection.jsp	(.../leaderselection.jsp)	(revision 596c4a1f58293b5e772f8a6ff8be83a63a23c201)
+++ lams_tool_leader/web/pages/learning/leaderselection.jsp	(.../leaderselection.jsp)	(revision 0ec58b4b3e8fa566d02a0215fe9d8138da6de8a4)
@@ -27,11 +27,15 @@
     }
     
  	//init the connection with server using server URL but with different protocol
- 	var websocket = new WebSocket('<lams:WebAppURL />'.replace('http', 'ws') 
+ 	var leaderWebsocket = new WebSocket('<lams:WebAppURL />'.replace('http', 'ws') 
  			+ 'learningWebsocket?toolSessionID=' + ${toolSessionID});
  	
+ 	leaderWebsocket.onclose = function(){
+ 		location.reload();
+ 	};
+ 	
 	// run when the leader has just been selected
-	websocket.onmessage = function(e) {
+	leaderWebsocket.onmessage = function(e) {
 		// create JSON object
 		var input = JSON.parse(e.data);