]> git.sesse.net Git - remoteglot/blobdiff - www/js/remoteglot.js
More header squeezing.
[remoteglot] / www / js / remoteglot.js
index cdf8a5670e4b48971270d3d31da125564e5d1735..0f56b5b206dbc4b7d69d549f8a0f44827d978f90 100644 (file)
@@ -65,6 +65,21 @@ var highlighted_move = null;
 /** @type {?number} @private */
 var unique = null;
 
+/** @type {boolean} @private */
+var enable_sound = false;
+
+/**
+ * Our best estimate of how many milliseconds we need to add to 
+ * new Date() to get the true UTC time. Calibrated against the
+ * server clock.
+ *
+ * @type {?number}
+ * @private
+ */
+var client_clock_offset_ms = null;
+
+var clock_timer = null;
+
 /** The current position on the board, represented as a FEN string.
  * @type {?string}
  * @private
@@ -119,9 +134,15 @@ var request_update = function() {
        $.ajax({
                url: "/analysis.pl?ims=" + ims + "&unique=" + unique
        }).done(function(data, textstatus, xhr) {
-               ims = xhr.getResponseHeader('X-Remoteglot-Last-Modified');
-               var num_viewers = xhr.getResponseHeader('X-Remoteglot-Num-Viewers');
-               current_analysis_data = data;
+               sync_server_clock(xhr.getResponseHeader('Date'));
+               ims = xhr.getResponseHeader('X-RGLM');
+               var num_viewers = xhr.getResponseHeader('X-RGNV');
+               possibly_play_sound(current_analysis_data, data);
+               if (Array.isArray(data)) {
+                       current_analysis_data = JSON_delta.patch(current_analysis_data, data);
+               } else {
+                       current_analysis_data = data;
+               }
                update_board(current_analysis_data, displayed_analysis_data);
                update_num_viewers(num_viewers);
 
@@ -133,6 +154,41 @@ var request_update = function() {
        });
 }
 
+var possibly_play_sound = function(old_data, new_data) {
+       if (!enable_sound) {
+               return;
+       }
+       if (old_data === null) {
+               return;
+       }
+       var ding = document.getElementById('ding');
+       if (ding && ding.play) {
+               if (old_data['position'] && old_data['position']['fen'] &&
+                   new_data['position'] && new_data['position']['fen'] &&
+                   (old_data['position']['fen'] !== new_data['position']['fen'] ||
+                    old_data['position']['move_num'] !== new_data['position']['move_num'])) {
+                       ding.play();
+               }
+       }
+}
+
+/**
+ * @type {!string} server_date_string
+ */
+var sync_server_clock = function(server_date_string) {
+       var server_time_ms = new Date(server_date_string).getTime();
+       var client_time_ms = new Date().getTime();
+       var estimated_offset_ms = server_time_ms - client_time_ms;
+
+       // In order not to let the noise move us too much back and forth
+       // (the server only has one-second resolution anyway), we only
+       // change an existing skew if we are at least five seconds off.
+       if (client_clock_offset_ms === null ||
+           Math.abs(estimated_offset_ms - client_clock_offset_ms) > 5000) {
+               client_clock_offset_ms = estimated_offset_ms;
+       }
+}
+
 var clear_arrows = function() {
        for (var i = 0; i < arrows.length; ++i) {
                if (arrows[i].svg) {
@@ -630,7 +686,7 @@ var update_board = function(current_data, display_data) {
        // The <title> contains a very brief headline.
        var title_elems = [];
        if (data['short_score'] !== undefined && data['short_score'] !== null) {
-               title_elems.push(data['short_score']);
+               title_elems.push(data['short_score'].replace(/^ /, ""));
        }
        if (last_move !== null) {
                title_elems.push(last_move);
@@ -668,12 +724,17 @@ var update_board = function(current_data, display_data) {
                $("#pv").empty();
                $("#searchstats").html("&nbsp;");
                $("#refutationlines").empty();
+               $("#whiteclock").empty();
+               $("#blackclock").empty();
                refutation_lines = [];
                update_refutation_lines();
                clear_arrows();
+               update_displayed_line();
                return;
        }
 
+       update_clock();
+
        // The engine id.
        if (data['id'] && data['id']['name'] !== null) {
                $("#engineid").text(data['id']['name']);
@@ -785,6 +846,106 @@ var update_num_viewers = function(num_viewers) {
        }
 }
 
+var update_clock = function() {
+       clearTimeout(clock_timer);
+
+       var data = displayed_analysis_data || current_analysis_data;
+       if (data['position']) {
+               var result = data['position']['result'];
+               if (result === '1-0') {
+                       $("#whiteclock").text("1");
+                       $("#blackclock").text("0");
+                       $("#whiteclock").removeClass("running-clock");
+                       $("#blackclock").removeClass("running-clock");
+                       return;
+               }
+               if (result === '1/2-1/2') {
+                       $("#whiteclock").text("1/2");
+                       $("#blackclock").text("1/2");
+                       $("#whiteclock").removeClass("running-clock");
+                       $("#blackclock").removeClass("running-clock");
+                       return;
+               }       
+               if (result === '0-1') {
+                       $("#whiteclock").text("0");
+                       $("#blackclock").text("1");
+                       $("#whiteclock").removeClass("running-clock");
+                       $("#blackclock").removeClass("running-clock");
+                       return;
+               }
+       }
+
+       var white_clock = "";
+       var black_clock = "";
+
+       // Static clocks.
+       if (data['position'] &&
+           data['position']['white_clock'] &&
+           data['position']['black_clock']) {
+               white_clock = data['position']['white_clock'].replace(/:[0-5][0-9]$/, "");
+               black_clock = data['position']['black_clock'].replace(/:[0-5][0-9]$/, "");
+       }
+
+       // Dynamic clock (only one, obviously).
+       var color;
+       if (data['position']['white_clock_target']) {
+               color = "white";
+               $("#whiteclock").addClass("running-clock");
+               $("#blackclock").removeClass("running-clock");
+       } else if (data['position']['black_clock_target']) {
+               color = "black";
+               $("#whiteclock").removeClass("running-clock");
+               $("#blackclock").addClass("running-clock");
+       } else {
+               $("#whiteclock").removeClass("running-clock");
+               $("#blackclock").removeClass("running-clock");
+       }
+       if (color) {
+               var now = new Date().getTime() + client_clock_offset_ms;
+               var remaining_ms = data['position'][color + '_clock_target'] * 1000 - now;
+               if (color === "white") {
+                       white_clock = format_clock(remaining_ms);
+               } else {
+                       black_clock = format_clock(remaining_ms);
+               }
+
+               // See when the clock will change next, and update right after that.
+               var next_update_ms = remaining_ms % 60000 + 100;
+               clock_timer = setTimeout(update_clock, next_update_ms);
+       }
+
+       $("#whiteclock").text(white_clock);
+       $("#blackclock").text(black_clock);
+}
+
+/**
+ * @param {Number} remaining_ms
+ */
+var format_clock = function(remaining_ms) {
+       if (remaining_ms <= 0) {
+               return "00:00";
+       }
+
+       var remaining = Math.floor(remaining_ms / 1000);
+       var seconds = remaining % 60;
+       remaining = (remaining - seconds) / 60;
+       var minutes = remaining % 60;
+       remaining = (remaining - minutes) / 60;
+       var hours = remaining;
+       return format_2d(hours) + ":" + format_2d(minutes);
+}
+
+/**
+ * @param {Number} x
+ */
+var format_2d = function(x) {
+       if (x >= 10) {
+               return x;
+       } else {
+               return "0" + x;
+       }
+}
+
 /**
  * @param {string} move
  * @param {Number} move_num
@@ -806,6 +967,9 @@ var format_move_with_number = function(move, move_num, white_to_play) {
  */
 var resort_refutation_lines = function(sort_by_score) {
        sort_refutation_lines_by_score = sort_by_score;
+       if (supports_html5_storage()) {
+               localStorage['sort_refutation_lines_by_score'] = sort_by_score ? 1 : 0;
+       }
        update_refutation_lines();
 }
 window['resort_refutation_lines'] = resort_refutation_lines;
@@ -929,9 +1093,47 @@ var update_displayed_line = function() {
        board.position(hiddenboard.fen());
 }
 
+/**
+ * @param {boolean} param_enable_sound
+ */
+var set_sound = function(param_enable_sound) {
+       enable_sound = param_enable_sound;
+       if (enable_sound) {
+               $("#soundon").html("<strong>On</strong>");
+               $("#soundoff").html("<a href=\"javascript:set_sound(false)\">Off</a>");
+
+               // Seemingly at least Firefox prefers MP3 over Opus; tell it otherwise,
+               // and also preload the file since the user has selected audio.
+               var ding = document.getElementById('ding');
+               if (ding && ding.canPlayType && ding.canPlayType('audio/ogg; codecs="opus"') === 'probably') {
+                       ding.src = 'ding.opus';
+                       ding.load();
+               }
+       } else {
+               $("#soundon").html("<a href=\"javascript:set_sound(true)\">On</a>");
+               $("#soundoff").html("<strong>Off</strong>");
+       }
+       if (supports_html5_storage()) {
+               localStorage['enable_sound'] = enable_sound ? 1 : 0;
+       }
+}
+window['set_sound'] = set_sound;
+
 var init = function() {
        unique = get_unique();
 
+       // Load settings from HTML5 local storage if available.
+       if (supports_html5_storage() && localStorage['enable_sound']) {
+               set_sound(parseInt(localStorage['enable_sound']));
+       } else {
+               set_sound(false);
+       }
+       if (supports_html5_storage() && localStorage['sort_refutation_lines_by_score']) {
+               sort_refutation_lines_by_score = parseInt(localStorage['sort_refutation_lines_by_score']);
+       } else {
+               sort_refutation_lines_by_score = true;
+       }
+
        // Create board.
        board = new window.ChessBoard('board', 'start');