Gergő Tisza has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/344814 )
Change subject: Use local ORES service when both ores and ores_services roles
are enabled
......................................................................
Use local ORES service when both ores and ores_services roles are enabled
This is not very useful as it is because the local ORES service is not
automatically set up to do anything useful.
Bug: T159105
Change-Id: I2ea694c745f2c3e2f636ee76f839393f89107633
---
M puppet/modules/role/manifests/ores_services.pp
1 file changed, 15 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/14/344814/1
diff --git a/puppet/modules/role/manifests/ores_services.pp
b/puppet/modules/role/manifests/ores_services.pp
index 3c720e6..a5cf773 100644
--- a/puppet/modules/role/manifests/ores_services.pp
+++ b/puppet/modules/role/manifests/ores_services.pp
@@ -8,6 +8,21 @@
$ores_hostname = $::ores::vhost_name
$wikilabels_hostname = $::ores::wikilabels::vhost_name
+
+ # when role::ores is also enabled, make it use the local service
+ mediawiki::settings { 'ORES service:':
+ values => {
+ wgOresBaseUrl => "http://localhost:${::ores::port}/";,
+ wgOresModels => {
+ damaging => true,
+ goodfaith => true,
+ reverted => true,
+ wp10 => true,
+ },
+ },
+ priority => 20,
+ }
+
mediawiki::import::text { 'VagrantRoleOresServices':
content =>
template('role/ores_services/VagrantRoleOresServices.wiki.erb'),
}
--
To view, visit https://gerrit.wikimedia.org/r/344814
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2ea694c745f2c3e2f636ee76f839393f89107633
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
