Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395699 )
Change subject: Make wikidatawiki cronjobs use the Wikibase extension and not
the build
......................................................................
Make wikidatawiki cronjobs use the Wikibase extension and not the build
The previous patch only changed this for testwikidatawiki
I5cb61c459ebfd664fd3e8626ff38d171351a8cfc
Bug: T182159
Change-Id: Ibbf71417b37ecd29ee793cd8a84993cdea607545
---
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/99/395699/1
diff --git a/modules/mediawiki/manifests/maintenance/wikidata.pp
b/modules/mediawiki/manifests/maintenance/wikidata.pp
index 2da269d..107982b 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 15 >> ${dispatch_log_file} 2>&1; echo \"\$\$: Dispatcher exited
with $?\" >> ${dispatch_log_file}",
+ command => "echo \"\$\$: Starting dispatcher\" >>
${dispatch_log_file}; /usr/local/bin/mwscript
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/395699
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibbf71417b37ecd29ee793cd8a84993cdea607545
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
