Add some support for listing games in progress, and switching between them. (Proper...

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 30f2d061dda1c9dcf0d217d1879f3b0052c68732..0462252af64610ab297d8c5e5a6221954c469b34 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -252,7 +252,9 @@ var sync_server_clock = function(server_date_string) {
 var clear_arrows = function() {
        for (var i = 0; i < arrows.length; ++i) {
                if (arrows[i].svg) {
-                       arrows[i].svg.parentElement.removeChild(arrows[i].svg);
+                       if (arrows[i].svg.parentElement) {
+                               arrows[i].svg.parentElement.removeChild(arrows[i].svg);
+                       }
                        delete arrows[i].svg;
                }
        }
@@ -367,7 +369,9 @@ var point_from_end = function(x1, y1, x2, y2, t, u) {
 
 var position_arrow = function(arrow) {
        if (arrow.svg) {
-               arrow.svg.parentElement.removeChild(arrow.svg);
+               if (arrow.svg.parentElement) {
+                       arrow.svg.parentElement.removeChild(arrow.svg);
+               }
                delete arrow.svg;
        }
        if (current_display_line !== null && !current_display_line_is_history) {
@@ -734,6 +738,28 @@ var update_board = function(current_data, display_data) {
        }
        update_history();
 
+       // Games currently in progress, if any.
+       $("#games").text("");
+       if (current_data['games']) {
+               var games_div = document.getElementById('games');
+               for (var game_num = 0; game_num < current_data['games'].length; ++game_num) {
+                       var game = current_data['games'][game_num];
+                       var game_span = document.createElement("span");
+                       game_span.setAttribute("class", "game");
+
+                       var game_name = document.createTextNode(game['name']);
+                       if (game['url'] === backend_url) {
+                               game_span.appendChild(game_name);
+                       } else {
+                               var game_a = document.createElement("a");
+                               game_a.setAttribute("href", "javascript:switch_backend('" + game['url'] + "')");
+                               game_a.appendChild(game_name);
+                               game_span.appendChild(game_a);
+                       }
+                       games_div.appendChild(game_span);
+               }
+       }
+
        // The headline. Names are always fetched from current_data;
        // the rest can depend a bit.
        var headline;