Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: monitoring: remove monitoring::group from nagios.pp
......................................................................
monitoring: remove monitoring::group from nagios.pp
Change-Id: Ibeae98c3a941c2bee6ae2d16955fa1d6f78974d4
---
M manifests/nagios.pp
1 file changed, 0 insertions(+), 18 deletions(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/manifests/nagios.pp b/manifests/nagios.pp
index 547c184..f7262e1 100644
--- a/manifests/nagios.pp
+++ b/manifests/nagios.pp
@@ -135,21 +135,3 @@
},
}
}
-
-define monitoring::group ($description, $ensure=present) {
- # Nagios hostgroup instance
- nagios_hostgroup { $title:
- ensure => $ensure,
- target => "${::nagios_config_dir}/puppet_hostgroups.cfg",
- hostgroup_name => $title,
- alias => $description,
- }
-
- # Nagios servicegroup instance
- nagios_servicegroup { $title:
- ensure => $ensure,
- target => "${::nagios_config_dir}/puppet_servicegroups.cfg",
- servicegroup_name => $title,
- alias => $description,
- }
-}
--
To view, visit https://gerrit.wikimedia.org/r/172500
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibeae98c3a941c2bee6ae2d16955fa1d6f78974d4
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
