Index: tools/memory_inspector/memory_inspector/frontends/www_content/js/rootUi.js |
diff --git a/tools/memory_inspector/memory_inspector/frontends/www_content/js/rootUi.js b/tools/memory_inspector/memory_inspector/frontends/www_content/js/rootUi.js |
index d13518835e4afc1ad1e23fe1d8ff60f487bbce3d..1954c7e87abd1cd041ca6059bbc682973165c513 100644 |
--- a/tools/memory_inspector/memory_inspector/frontends/www_content/js/rootUi.js |
+++ b/tools/memory_inspector/memory_inspector/frontends/www_content/js/rootUi.js |
@@ -8,6 +8,8 @@ this.onDomReady_ = function() { |
$('#js_loading_banner').hide(); |
$('#tabs').tabs({activate: this.onTabChange_.bind(this)}); |
$('#tabs').css('visibility', 'visible'); |
+ webservice.onServerUnreachableOrTimeout = |
+ this.onServerUnreachableOrTimeout.bind(this); |
// Initialize the status bar. |
$('#status_messages').mouseenter(function() { |
@@ -71,6 +73,12 @@ this.setStatusMessage = function(content) { |
$('#status_messages').text(content); |
}; |
+this.onServerUnreachableOrTimeout = function() { |
+ timers.stopAll(); |
+ this.showDialog('The www service is unreachable. ' + |
+ 'It probably crashed, Check the terminal output.'); |
+}; |
+ |
$(document).ready(this.onDomReady_.bind(this)); |
})(); |