| 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));
|
|
|
| })();
|
|
|