Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395525 )
Change subject: Wikidata dispatching: randomness to 15
......................................................................
Wikidata dispatching: randomness to 15
This is the default setting.
Change-Id: Ic81d01a55453d0ce1544d08b0b5017fd749cd012
---
M modules/mediawiki/manifests/maintenance/wikidata.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/25/395525/1
diff --git a/modules/mediawiki/manifests/maintenance/wikidata.pp
b/modules/mediawiki/manifests/maintenance/wikidata.pp
index 6649e5f..b5d984b 100644
--- a/modules/mediawiki/manifests/maintenance/wikidata.pp
+++ b/modules/mediawiki/manifests/maintenance/wikidata.pp
@@ -12,7 +12,7 @@
cron { 'wikibase-dispatch-changes4':
ensure => $ensure,
- command => "echo \"\$\$: Starting dispatcher\" >>
${dispatch_log_file}; /usr/local/bin/mwscript
extensions/Wikidata/extensions/Wikibase/repo/maintenance/dispatchChanges.php
--wiki wikidatawiki --max-time 540 --batch-size 420 --dispatch-interval 25
--randomness 10 >> ${dispatch_log_file} 2>&1; echo \"\$\$: Dispatcher exited
with $?\" >> ${dispatch_log_file}",
+ command => "echo \"\$\$: Starting dispatcher\" >>
${dispatch_log_file}; /usr/local/bin/mwscript
extensions/Wikidata/extensions/Wikibase/repo/maintenance/dispatchChanges.php
--wiki wikidatawiki --max-time 540 --batch-size 420 --dispatch-interval 25
--randomness 15 >> ${dispatch_log_file} 2>&1; echo \"\$\$: Dispatcher exited
with $?\" >> ${dispatch_log_file}",
user => $::mediawiki::users::web,
minute => '*/3',
require => File['/var/log/wikidata'],
--
To view, visit https://gerrit.wikimedia.org/r/395525
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic81d01a55453d0ce1544d08b0b5017fd749cd012
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Addshore <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
