Fix an issue where switching backends would cause the gong to go off.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Sun, 21 Jun 2015 23:40:40 +0000 (01:40 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Sun, 21 Jun 2015 23:40:40 +0000 (01:40 +0200)
www/js/remoteglot.js

index f21273e..30f2d06 100644 (file)
@@ -1387,6 +1387,7 @@ var switch_backend = function(new_backend_url) {
 
        // Request an immediate fetch with the new backend.
        backend_url = new_backend_url;
+       current_analysis_data = null;
        ims = 0;
        request_update();
 }