wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add extra db slave wait to digest email cron

Browse source 
Change-Id: Iaa5fc89750b2a4bbe5d52bb9e75c2ac90fc3304b
This commit is contained in:
bsitu 2013-05-02 14:11:49 -07:00
parent 4c99cdd60e
commit 5df153591d
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/processEchoEmailBatch.php
View file

@ -50,6 +50,8 @@ class ProcessEchoEmailBatch extends Maintenance {
$count++;
}
wfWaitForSlaves( false, false, $wgEchoCluster );
// This is required since we are updating user properties in main wikidb
wfWaitForSlaves();
// double check to make sure that the id is updated
if ( !$updated ) {