Smalyshev has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/214776

Change subject: T100819: somewhat improve error reporting, make distinct 
message for timeout
......................................................................

T100819: somewhat improve error reporting, make distinct message for timeout

Change-Id: I0bf0aaa8c5a6c7e969f19b1a7a2bfa3e57585151
---
M gui/gui.js
1 file changed, 4 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/rdf 
refs/changes/76/214776/1

diff --git a/gui/gui.js b/gui/gui.js
index 9949a1f..e36f24a 100644
--- a/gui/gui.js
+++ b/gui/gui.js
@@ -94,8 +94,11 @@
                        response = $('<div>').append(jqXHR.responseText);
                        message += response.text();
                        highlightError(jqXHR.responseText);
+                       if(jqXHR.responseText.match(/Query deadline is 
expired/)) {
+                               message = "QUERY TIMEOUT\n"+message;
+                       }
                }
-               $('#query-error').text(message).show();
+               $('#query-error').html($('<pre>').text(message)).show();
        }
 
        function showQueryResults(data) {

-- 
To view, visit https://gerrit.wikimedia.org/r/214776
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0bf0aaa8c5a6c7e969f19b1a7a2bfa3e57585151
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Smalyshev <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to