Dzahn has submitted this change and it was merged.
Change subject: contint: monitor Jenkins has a ZMQ publisher
......................................................................
contint: monitor Jenkins has a ZMQ publisher
The Jenkins master on gallium has the zmq-event-publisher plugin enabled
on port 8888.
Bug: T120669
Change-Id: I749a466a0e03979285453ca4bc3a9b512ac135ff
---
M manifests/role/ci.pp
1 file changed, 7 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/role/ci.pp b/manifests/role/ci.pp
index 7e6c264..aeaa7eb 100644
--- a/manifests/role/ci.pp
+++ b/manifests/role/ci.pp
@@ -19,6 +19,13 @@
include ::jenkins,
contint::proxy_jenkins
+ nrpe::monitor_service { 'jenkins_zmq_publisher':
+ description => 'jenkins_zmq_publisher',
+ contact_group => 'contint',
+ nrpe_command => '/usr/lib/nagios/plugins/check_tcp -H 127.0.0.1 -p
8888 --timeout=2',
+ }
+
+
# .gitconfig file required for rare git write operations
git::userconfig { '.gitconfig for jenkins user':
homedir => '/var/lib/jenkins',
--
To view, visit https://gerrit.wikimedia.org/r/257568
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I749a466a0e03979285453ca4bc3a9b512ac135ff
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
