Hoo man has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/230298

Change subject: Set a higher lock-grace-interval for wikidata dispatchers
......................................................................

Set a higher lock-grace-interval for wikidata dispatchers

Seems that it can take several minutes to dispatch to a single
wiki, thus it would be very unfortunate to poke at these locks
already.
Should not be an issue as dispatchers die very rarely and we
only alert after 300s of dispatch lag.

Change-Id: I0bbe0f76be9fe55db89af7909571660a256b6328
---
M manifests/misc/maintenance.pp
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/98/230298/1

diff --git a/manifests/misc/maintenance.pp b/manifests/misc/maintenance.pp
index d086b28..ebefc59 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/repo/maintenance/dispatchChanges.php 
--wiki wikidatawiki --max-time 1600 --batch-size 275 --dispatch-interval 25 
2>&1 >> /dev/null',
+        command => '/usr/local/bin/mwscript 
extensions/Wikidata/extensions/Wikibase/repo/maintenance/dispatchChanges.php 
--wiki wikidatawiki --max-time 1600 --batch-size 275 --dispatch-interval 25 
--lock-grace-interval 200 2>&1 >> /dev/null',
         user    => $::mediawiki::users::web,
         minute  => '*/3',
     }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0bbe0f76be9fe55db89af7909571660a256b6328
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

Reply via email to