Hoo man has uploaded a new change for review.
https://gerrit.wikimedia.org/r/195040
Change subject: Increase number of Wikidata dispatchers by 1
......................................................................
Increase number of Wikidata dispatchers by 1
Seems that we need even more here... see also:
9faa6817f65fe9af5ccd38c57efdead152219121
Change-Id: I9623612c325c6d25664a0002a83e52e020a48537
---
M manifests/misc/maintenance.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/40/195040/1
diff --git a/manifests/misc/maintenance.pp b/manifests/misc/maintenance.pp
index 1ba8714..9265e03 100644
--- a/manifests/misc/maintenance.pp
+++ b/manifests/misc/maintenance.pp
@@ -196,7 +196,7 @@
# This handles inserting jobs into client job queue, which then process
the changes
cron { 'wikibase-dispatch-changes4':
ensure => $ensure,
- command => '/usr/local/bin/mwscript
extensions/Wikidata/extensions/Wikibase/lib/maintenance/dispatchChanges.php
--wiki wikidatawiki --max-time 1200 --batch-size 250 --dispatch-interval 25
--randomness 7 2>&1 >> /dev/null',
+ command => '/usr/local/bin/mwscript
extensions/Wikidata/extensions/Wikibase/lib/maintenance/dispatchChanges.php
--wiki wikidatawiki --max-time 1400 --batch-size 250 --dispatch-interval 25
--randomness 7 2>&1 >> /dev/null',
user => $::mediawiki::users::web,
minute => '*/3',
}
--
To view, visit https://gerrit.wikimedia.org/r/195040
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9623612c325c6d25664a0002a83e52e020a48537
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hoo man <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
