+/**
+ * @param {string} new_backend_url
+ */
+var switch_backend = function(new_backend_url) {
+ // Stop looking at historic data.
+ current_display_line = null;
+ current_display_move = null;
+ displayed_analysis_data = null;
+ if (current_historic_xhr) {
+ current_historic_xhr.abort();
+ }
+
+ // If we already have a backend response going, abort it.
+ if (current_analysis_xhr) {
+ current_analysis_xhr.abort();
+ }
+
+ // Otherwise, we should have a timer going to start a new one.
+ // Kill that, too.
+ if (current_analysis_request_timer) {
+ clearTimeout(current_analysis_request_timer);
+ current_analysis_request_timer = null;
+ }
+
+ // Request an immediate fetch with the new backend.
+ backend_url = new_backend_url;
+ ims = 0;
+ request_update();
+}
+window['switch_backend'] = switch_backend;
+