Dzahn has submitted this change and it was merged.
Change subject: move mailman queue monitor script to /usr/local
......................................................................
move mailman queue monitor script to /usr/local
custom plugins should be in /usr/local, not mixing
with the directory used by the nagios-plugins package
also, the name was still wrong, did not start with "check_"
as defined in the nrpe command
Change-Id: I17eef867aa307c4a2925a37f1a361ea1455bc908
---
M manifests/role/mail.pp
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/role/mail.pp b/manifests/role/mail.pp
index 403c7a3..bdefb2c 100644
--- a/manifests/role/mail.pp
+++ b/manifests/role/mail.pp
@@ -159,7 +159,7 @@
check_command =>
'check_https_url_for_string!lists.wikimedia.org!/pipermail/wikimedia-l/!\'The
Wikimedia-l Archives\'',
}
- file { '/usr/lib/nagios/plugins/mailman_queue_size':
+ file { '/usr/local/lib/nagios/plugins/check_mailman_queue':
ensure => present,
owner => 'root',
group => 'root',
@@ -169,7 +169,7 @@
nrpe::monitor_service { 'mailman_queue':
description => 'mailman_queue_size',
- nrpe_command => '/usr/lib/nagios/plugins/check_mailman_queue 42',
+ nrpe_command => '/usr/local/lib/nagios/plugins/check_mailman_queue
42',
}
}
--
To view, visit https://gerrit.wikimedia.org/r/155632
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I17eef867aa307c4a2925a37f1a361ea1455bc908
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Matanya <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
