| Index: tools/memory_inspector/memory_inspector/frontends/www_content/js/webservice.js
|
| diff --git a/tools/memory_inspector/memory_inspector/frontends/www_content/js/webservice.js b/tools/memory_inspector/memory_inspector/frontends/www_content/js/webservice.js
|
| index 1a62a6d62d399e207ab20a2476c9dce3c8c5367f..5f4b8f2ab4f24b7b47ad6408f256574a18dd522b 100644
|
| --- a/tools/memory_inspector/memory_inspector/frontends/www_content/js/webservice.js
|
| +++ b/tools/memory_inspector/memory_inspector/frontends/www_content/js/webservice.js
|
| @@ -23,7 +23,8 @@ this.ajaxRequest = function(path, responseCallback, errorCallback, postArgs) {
|
| console.log('AJAX error (req: ' + path + ').');
|
| console.log('HTTP response: ' + xhr.status + ' ' + thrownError);
|
| console.log(xhr.responseText);
|
| - rootUi.showDialog(xhr.responseText || 'Unknown server error');
|
| + rootUi.showDialog((xhr.responseText || 'Unknown server error.') +
|
| + ' Check the console for more details.');
|
| if (errorCallback)
|
| errorCallback(xhr.status, xhr.responseText);
|
| if (xhr.readyState < 4 && this_.onServerUnreachableOrTimeout != null)
|
|
|