From 8a8b42c042f34784422d88f19013a5cd697f1733 Mon Sep 17 00:00:00 2001 From: Peter Palfrader Date: Mon, 31 Aug 2015 13:37:42 +0200 Subject: [PATCH] Rename jenkins to jenko (RT:#5781) --- config/nagios-master.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/nagios-master.cfg b/config/nagios-master.cfg index 95d3203..4420319 100644 --- a/config/nagios-master.cfg +++ b/config/nagios-master.cfg @@ -1003,7 +1003,7 @@ servers: address: 206.12.19.132 parents: ganeti2 hostgroups: computers, service, kvmdomains, jessie, apache2-hosts, apache-https - jenkins: + jenko: address: 206.12.19.133 parents: ganeti2 hostgroups: computers, service, kvmdomains, jessie -- 2.20.1