*/
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,
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;
}
}
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) {
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
}
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;
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
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']);
// Request an immediate fetch with the new backend.
backend_url = new_backend_url;
+ current_analysis_data = null;
ims = 0;
request_update();
}
prev_move();
}
});
+ window.addEventListener('hashchange', possibly_switch_game_from_hash, false);
};
$(document).ready(init);