current_analysis_request_timer = setTimeout(function() { request_update(); }, timeout);
}
}).fail(function(jqXHR, textStatus, errorThrown) {
+ document.body.style.opacity = null;
if (textStatus === "abort") {
// Aborted because we are switching backends. Abandon and don't retry,
// because another one is already started for us.
/** Update all the HTML on the page, based on current global state.
*/
var update_board = function() {
+ document.body.style.opacity = null;
+
var data = displayed_analysis_data || current_analysis_data;
var current_data = current_analysis_data; // Convenience alias.