+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;
+ }
+ }
+}
+