jenkins-bot has submitted this change and it was merged.
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(-)
Approvals:
Smalyshev: Looks good to me, approved
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: I0bf0aaa8c5a6c7e969f19b1a7a2bfa3e57585151
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Smalyshev <[email protected]>
Gerrit-Reviewer: Jdouglas <[email protected]>
Gerrit-Reviewer: Manybubbles <[email protected]>
Gerrit-Reviewer: Smalyshev <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
