Make sure the title bar for the current game is always current.

diff --git a/remoteglot.pl b/remoteglot.pl
index 5c22aff4b9cbbb605d851717e3f70358ebb9f18b..e1f36528b802f1c9023e6e81531cd2999ceb8976 100755 (executable)
--- a/remoteglot.pl
+++ b/remoteglot.pl
@@ -918,6 +918,7 @@ sub output_json {
        }
 
        # Give out a list of other games going on. (Empty is fine.)
        }
 
        # 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 = ();
 
        if (!$historic_json_only) {
                my @games = ();
 

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index e3b3202d14183250bbb840be05803a4481e0d9f8..4ea184287805bdf2a201c7017e7b7837fc6f05dd 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -890,21 +890,31 @@ var update_game_list = function(games) {
 
                var game_name = document.createTextNode(game['name']);
                if (game['url'] === backend_url) {
 
                var game_name = document.createTextNode(game['name']);
                if (game['url'] === backend_url) {

+                       // This game.

                        game_span.appendChild(game_name);
                        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 {
                } 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 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);
        }
 
                games_div.appendChild(game_span);
        }