Tobias Gritschacher has uploaded a new change for review. https://gerrit.wikimedia.org/r/55595
Change subject: (hotfix) removed hardcoded values from dispatcher options ...................................................................... (hotfix) removed hardcoded values from dispatcher options - dispatch-interval and lock-grace-interval missed to get the option Change-Id: I353b7d27c81adb2b75ba68cdd6bf016e01cf0d4d --- M lib/maintenance/dispatchChanges.php 1 file changed, 4 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/95/55595/1 diff --git a/lib/maintenance/dispatchChanges.php b/lib/maintenance/dispatchChanges.php index 302f4f3..3f2f42e 100644 --- a/lib/maintenance/dispatchChanges.php +++ b/lib/maintenance/dispatchChanges.php @@ -87,13 +87,13 @@ * This affects the effective batch size, and this influences how changes * can be coalesced. */ - protected $dispatchInterval = 60; + protected $dispatchInterval; /** * @var int: Number of seconds to wait before testing a lock. Any target with a lock * timestamp newer than this will not be considered for selection. */ - protected $lockGraceInterval = 60; + protected $lockGraceInterval; /** * @var int: Number of target wikis to select as a base set for random selection. @@ -151,6 +151,8 @@ $this->maxTime = intval( $this->getOption( 'max-time', PHP_INT_MAX ) ); $this->maxPasses = intval( $this->getOption( 'max-passes', $this->maxTime < PHP_INT_MAX ? PHP_INT_MAX : 1 ) ); $this->delay = intval( $this->getOption( 'idle-delay', 10 ) ); + $this->dispatchInterval = intval( $this->getOption( 'dispatch-interval', 60 ) ); + $this->lockGraceInterval = intval( $this->getOption( 'lock-grace-interval', 60 ) ); $this->verbose = $this->getOption( 'verbose', false ); -- To view, visit https://gerrit.wikimedia.org/r/55595 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I353b7d27c81adb2b75ba68cdd6bf016e01cf0d4d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits