Make sure the title bar for the current game is always current.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 19:03:31 +0000 (20:03 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 19:03:31 +0000 (20:03 +0100)
remoteglot.pl
www/js/remoteglot.js

index 5c22aff..e1f3652 100755 (executable)
@@ -918,6 +918,7 @@ sub output_json {
        }
 
        # Give out a list of other games going on. (Empty is fine.)
+       # TODO: Don't bother reading our own file, the data will be stale anyway.
        if (!$historic_json_only) {
                my @games = ();
 
index e3b3202..4ea1842 100644 (file)
@@ -890,21 +890,31 @@ var update_game_list = function(games) {
 
                var game_name = document.createTextNode(game['name']);
                if (game['url'] === backend_url) {
+                       // This game.
                        game_span.appendChild(game_name);
+
+                       var score;
+                       if (current_analysis_data['position']['result']) {
+                               score = " (" + current_analysis_data['position']['result'] + ")";
+                       } else {
+                               score = " (" + format_short_score(current_analysis_data['score']) + ")";
+                       }
+                       game_span.appendChild(document.createTextNode(score));
                } else {
+                       // Some other game.
                        var game_a = document.createElement("a");
                        game_a.setAttribute("href", "#" + game['id']);
                        game_a.appendChild(game_name);
                        game_span.appendChild(game_a);
-               }
 
-               var score;
-               if (game['result']) {
-                       score = " (" + game['result'] + ")";
-               } else {
-                       score = " (" + format_short_score(game['score']) + ")";
+                       var score;
+                       if (game['result']) {
+                               score = " (" + game['result'] + ")";
+                       } else {
+                               score = " (" + format_short_score(game['score']) + ")";
+                       }
+                       game_span.appendChild(document.createTextNode(score));
                }
-               game_span.appendChild(document.createTextNode(score));
 
                games_div.appendChild(game_span);
        }