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) |