jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/395738 )
Change subject: Tracking within ChangeDispatcher::getPendingChanges
......................................................................
Tracking within ChangeDispatcher::getPendingChanges
Change-Id: I561caf40b218ca7298df70742962dfa17a419602
---
M repo/includes/ChangeDispatcher.php
1 file changed, 13 insertions(+), 0 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/repo/includes/ChangeDispatcher.php
b/repo/includes/ChangeDispatcher.php
index 4eaa80a..09d07fd 100644
--- a/repo/includes/ChangeDispatcher.php
+++ b/repo/includes/ChangeDispatcher.php
@@ -2,6 +2,7 @@
namespace Wikibase\Repo;
+use MediaWiki\MediaWikiServices;
use MWException;
use Wikibase\Change;
use Wikibase\Lib\Store\ChunkAccess;
@@ -322,6 +323,18 @@
// $chunkSize = ( $this->batchSize - count( $batch
) ) * ( count_before / count_after );
}
+ $stats =
MediaWikiServices::getInstance()->getStatsdDataFactory();
+ if ( !( $chunksExamined < $this->maxChunks ) ) {
+ $stats->increment(
+
'wikibase.repo.changeDispatcher.getPendingChanges.maxChunksReached'
+ );
+ }
+ if ( !( $batchSize < $this->batchSize ) ) {
+ $stats->increment(
+
'wikibase.repo.changeDispatcher.getPendingChanges.batchSizeReached'
+ );
+ }
+
$this->trace( "Got " . count( $batch ) . " pending changes. " );
return [ $batch, $lastIdSeen ];
--
To view, visit https://gerrit.wikimedia.org/r/395738
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I561caf40b218ca7298df70742962dfa17a419602
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: wmf/1.31.0-wmf.11
Gerrit-Owner: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
