Elukey has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/392594 )

Change subject: mediawiki::maintenance::wikidata: remove a trailing semicolon
......................................................................


mediawiki::maintenance::wikidata: remove a trailing semicolon

Picked from deployment-prep puppet master.

Change-Id: I97e453aab1c120a0902a8372076018145c9d0b4e
---
M modules/mediawiki/manifests/maintenance/wikidata.pp
1 file changed, 2 insertions(+), 1 deletion(-)

Approvals:
  Elukey: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/mediawiki/manifests/maintenance/wikidata.pp 
b/modules/mediawiki/manifests/maintenance/wikidata.pp
index 365e985..0bff2f8 100644
--- a/modules/mediawiki/manifests/maintenance/wikidata.pp
+++ b/modules/mediawiki/manifests/maintenance/wikidata.pp
@@ -4,7 +4,8 @@
     # Starts a dispatcher instance every 3 minutes
     # They will run for a maximum of 9 minutes, so we can only have 3 
concurrent instances.
     # This handles inserting jobs into client job queue, which then process 
the changes
-    $dispatch_log_file = '/var/log/wikidata/dispatchChanges-wikidatawiki.log';
+    $dispatch_log_file = '/var/log/wikidata/dispatchChanges-wikidatawiki.log'
+
     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 
--lock-grace-interval 200 >> ${dispatch_log_file} 2>&1; echo \"\$\$: Dispatcher 
exited with $?\" >> ${dispatch_log_file}",

-- 
To view, visit https://gerrit.wikimedia.org/r/392594
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I97e453aab1c120a0902a8372076018145c9d0b4e
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Ayounsi <ayou...@wikimedia.org>
Gerrit-Reviewer: Elukey <ltosc...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Hoo man <h...@online.de>
Gerrit-Reviewer: Ladsgroup <ladsgr...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to