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 <gti...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits