Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395512 )
Change subject: Wikidata dispatching: randomness to 10
......................................................................
Wikidata dispatching: randomness to 10
Change-Id: Id97f970244e64f9fa4c11057c8405378109aff7a
---
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/12/395512/1
diff --git a/modules/mediawiki/manifests/maintenance/wikidata.pp
b/modules/mediawiki/manifests/maintenance/wikidata.pp
index 6aa9ab8..6649e5f 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 5 >> ${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 10 >> ${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/395512
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id97f970244e64f9fa4c11057c8405378109aff7a
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
