Index: lams_tool_leader/web/pages/learning/leaderselection.jsp
===================================================================
diff -u -rd0f4c3bdd871e236755472c8443c337b2b96e48c -r330b0d5f8fa4a8deb6d7454f92bdbd289e89cb82
--- lams_tool_leader/web/pages/learning/leaderselection.jsp (.../leaderselection.jsp) (revision d0f4c3bdd871e236755472c8443c337b2b96e48c)
+++ lams_tool_leader/web/pages/learning/leaderselection.jsp (.../leaderselection.jsp) (revision 330b0d5f8fa4a8deb6d7454f92bdbd289e89cb82)
@@ -26,20 +26,22 @@
$("#leaderSelectionDialog").modal('show');
}
- initWebsocket('leaderSelection${toolSessionID}',
- ''.replace('http', 'ws')
- + 'learningWebsocket?toolSessionID=${toolSessionID}',
- function (e) {
- // create JSON object
- var input = JSON.parse(e.data);
-
- // The leader has just been selected and all non-leaders should refresh their pages in order
- // to see new leader's name and a Finish button.
- if (input.pageRefresh) {
- location.reload();
- return;
- }
- });
+
+ initWebsocket('leaderSelection${toolSessionID}',
+ ''.replace('http', 'ws') + 'learningWebsocket?toolSessionID=${toolSessionID}',
+ function (e) {
+ // create JSON object
+ var input = JSON.parse(e.data);
+
+ // The leader has just been selected and all non-leaders should refresh their pages in order
+ // to see new leader's name and a Finish button.
+ if (input.pageRefresh) {
+ location.reload();
+ return;
+ }
+ }
+ );
+
});
function leaderSelection() {
@@ -90,30 +92,31 @@
-
-