jenkins-bot has submitted this change and it was merged.
Change subject: Also handle error case for pool counter
......................................................................
Also handle error case for pool counter
Change-Id: Ib9f1877b07f40667aad0dc1e828aa3906c55e47d
---
M MWSearch_body.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Demon: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MWSearch_body.php b/MWSearch_body.php
index 82c0ff9..acc1ab6 100644
--- a/MWSearch_body.php
+++ b/MWSearch_body.php
@@ -505,6 +505,8 @@
wfProfileOut( $httpProfile );
wfRestoreWarnings();
return $status;
+ }, 'error' => function( $status ) {
+ return $status;
} ) );
$workStatus = $work->execute();
--
To view, visit https://gerrit.wikimedia.org/r/60748
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib9f1877b07f40667aad0dc1e828aa3906c55e47d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MWSearch
Gerrit-Branch: master
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Demon <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
