jenkins-bot has submitted this change and it was merged.
Change subject: beta: adding gwtoolset jobs to
$wgJobTypesExcludedFromDefaultQueue
......................................................................
beta: adding gwtoolset jobs to $wgJobTypesExcludedFromDefaultQueue
there seems to be a problem with the job runner picking up the
gwtoolset jobs. hopefully adding them to this array will allow
the puppet configured runner to pick them up properly.
this will also mimic the current production settings in
CommonSettings.php for gwtoolset.
Change-Id: I4755441d60c2e322b1a05f677049ef1bc90fdf08
---
M wmf-config/CommonSettings-labs.php
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings-labs.php
b/wmf-config/CommonSettings-labs.php
index 3af1845..9301b45 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -88,6 +88,9 @@
require_once( "$IP/extensions/GWToolset/GWToolset.php" );
$wgGWTFileBackend = 'gwtoolset-backend';
$wgGWTFBMaxAge = '1 week';
+ $wgJobTypesExcludedFromDefaultQueue[] = 'gwtoolsetUploadMetadataJob';
+ $wgJobTypesExcludedFromDefaultQueue[] = 'gwtoolsetUploadMediafileJob';
+ $wgJobTypesExcludedFromDefaultQueue[] =
'gwtoolsetGWTFileBackendCleanupJob';
$wgJobTypeConf['gwtoolsetUploadMetadataJob'] = array( 'checkDelay' =>
true ) + $wgJobTypeConf['default'];
}
--
To view, visit https://gerrit.wikimedia.org/r/102464
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4755441d60c2e322b1a05f677049ef1bc90fdf08
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dan-nl <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
