Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398048 )
Change subject: Fix ferm port for prometheus-etherpad-exporter ...................................................................... Fix ferm port for prometheus-etherpad-exporter Change-Id: Ib9c92321da2da5b71542903231a6e8aea6c254a2 --- M modules/profile/manifests/prometheus/etherpad_exporter.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Muehlenhoff: Looks good to me, approved jenkins-bot: Verified Filippo Giunchedi: Looks good to me, but someone else must approve diff --git a/modules/profile/manifests/prometheus/etherpad_exporter.pp b/modules/profile/manifests/prometheus/etherpad_exporter.pp index fb22f19..f6f5cf2 100644 --- a/modules/profile/manifests/prometheus/etherpad_exporter.pp +++ b/modules/profile/manifests/prometheus/etherpad_exporter.pp @@ -12,7 +12,7 @@ ferm::service { 'prometheus-etherpad-exporter': proto => 'tcp', - port => '9142', + port => '9198', srange => $ferm_srange, } } -- To view, visit https://gerrit.wikimedia.org/r/398048 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib9c92321da2da5b71542903231a6e8aea6c254a2 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Muehlenhoff <mmuhlenh...@wikimedia.org> Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits