Fix an issue where switching backends would cause the gong to go off.

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index f21273edd8a0f4e49bb9f24e6989d99b0a6458d5..30f2d061dda1c9dcf0d217d1879f3b0052c68732 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -1387,6 +1387,7 @@ var switch_backend = function(new_backend_url) {
 
        // Request an immediate fetch with the new backend.
        backend_url = new_backend_url;
 
        // Request an immediate fetch with the new backend.
        backend_url = new_backend_url;

+       current_analysis_data = null;

        ims = 0;
        request_update();
 }
        ims = 0;
        request_update();
 }