Make the current game switchable through the URL hash, so bookmarking, link following...

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 30f2d061dda1c9dcf0d217d1879f3b0052c68732..6819cb99eea1c64812ab258bbe9c97a1d5d48644 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -37,6 +37,18 @@ var current_analysis_data = null;
  */
 var displayed_analysis_data = null;
 
+/**
+ * Games currently in progress, if any.
+ *
+ * @type {?Array.<{
+ *      name: string,
+ *      url: string,
+ *      id: string,
+ * }>}
+ * @private
+ */
+var current_games = null;
+
 /** @type {Array.<{
  *      from_col: number,
  *      from_row: number,
@@ -252,7 +264,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 +381,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) {
@@ -715,6 +731,51 @@ var chess_from = function(fen, moves, last_move) {
        return hiddenboard;
 }
 
+var update_game_list = function(games) {
+       $("#games").text("");
+       if (games === null) {
+               return;
+       }
+
+       var games_div = document.getElementById('games');
+       for (var game_num = 0; game_num < games.length; ++game_num) {
+               var game = 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", "#" + game['id']);
+                       game_a.appendChild(game_name);
+                       game_span.appendChild(game_a);
+               }
+               games_div.appendChild(game_span);
+       }
+}
+
+/**
+ * Try to find a running game that matches with the current hash,
+ * and switch to it if we're not already displaying it.
+ */
+var possibly_switch_game_from_hash = function() {
+       if (current_games === null) {
+               return;
+       }
+
+       var hash = window.location.hash.replace(/^#/,'');
+       for (var i = 0; i < current_games.length; ++i) {
+               if (current_games[i]['id'] === hash) {
+                       if (backend_url !== current_games[i]['url']) {
+                               switch_backend(current_games[i]['url']);
+                       }
+                       return;
+               }
+       }
+}
+
 /**
  * @param {Object} data
  * @param {?Object} display_data
@@ -734,6 +795,16 @@ var update_board = function(current_data, display_data) {
        }
        update_history();
 
+       // Games currently in progress, if any.
+       if (current_data['games']) {
+               current_games = current_data['games'];
+               possibly_switch_game_from_hash();
+               update_game_list(current_data['games']);
+       } else {
+               current_games = null;
+               update_game_list(null);
+       }
+
        // The headline. Names are always fetched from current_data;
        // the rest can depend a bit.
        var headline;
@@ -745,6 +816,50 @@ var update_board = function(current_data, display_data) {
                headline = 'Analysis';
        }
 
+       // Credits, where applicable. Note that we don't want the footer to change a lot
+       // when e.g. viewing history, so if any of these changed during the game,
+       // use the current one still.
+       if (current_data['using_lomonosov']) {
+               $("#lomonosov").show();
+       } else {
+               $("#lomonosov").hide();
+       }
+
+       // Credits: The engine name/version.
+       if (current_data['engine'] && current_data['engine']['name'] !== null) {
+               $("#engineid").text(current_data['engine']['name']);
+       }
+
+       // Credits: The engine URL.
+       if (current_data['engine'] && current_data['engine']['url']) {
+               $("#engineid").attr("href", current_data['engine']['url']);
+       } else {
+               $("#engineid").removeAttr("href");
+       }
+
+       // Credits: Engine details.
+       if (current_data['engine'] && current_data['engine']['details']) {
+               $("#enginedetails").text(" (" + current_data['engine']['details'] + ")");
+       } else {
+               $("#enginedetails").text("");
+       }
+
+       // Credits: Move source, possibly with URL.
+       if (current_data['move_source'] && current_data['move_source_url']) {
+               $("#movesource").text("Moves provided by ");
+               var movesource_a = document.createElement("a");
+               movesource_a.setAttribute("href", current_data['move_source_url']);
+               var movesource_text = document.createTextNode(current_data['move_source']);
+               movesource_a.appendChild(movesource_text);
+               var movesource_period = document.createTextNode(".");
+               document.getElementById("movesource").appendChild(movesource_a);
+               document.getElementById("movesource").appendChild(movesource_period);
+       } else if (current_data['move_source']) {
+               $("#movesource").text("Moves provided by " + current_data['move_source'] + ".");
+       } else {
+               $("#movesource").text("");
+       }
+
        var last_move;
        if (display_data) {
                // Displaying some non-current position, pick out the last move
@@ -813,11 +928,6 @@ var update_board = function(current_data, display_data) {
 
        update_clock();
 
-       // The engine id.
-       if (data['id'] && data['id']['name'] !== null) {
-               $("#engineid").text(data['id']['name']);
-       }
-
        // The score.
        if (data['score'] !== null) {
                $("#score").text(data['score']);
@@ -1425,6 +1535,7 @@ var init = function() {
                        prev_move();
                }
        });
+       window.addEventListener('hashchange', possibly_switch_game_from_hash, false);
 };
 $(document).ready(init);