Show the engine ID in the footer.

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 47bd62fe160ed1f38472cae89e06002417ac6a50..5ce7426b4f142e7105acdec50cb00d857168010b 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -34,7 +34,7 @@ var toplay = 'W';
 var ims = 0;
 
 /** @type {boolean} @private */
-var sort_refutation_lines_by_score = false;
+var sort_refutation_lines_by_score = true;
 
 /** @type {!string|undefined} @private */
 var highlight_from = undefined;
@@ -518,6 +518,11 @@ var update_board = function(data, num_viewers) {
                $("#numviewers").text(num_viewers + " current viewers");
        }
 
+       // 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']);