summaryrefslogtreecommitdiffstats
path: root/remote
diff options
context:
space:
mode:
Diffstat (limited to 'remote')
-rw-r--r--remote/ipeserv.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/ipeserv.sh b/remote/ipeserv.sh
index a737912..a152076 100644
--- a/remote/ipeserv.sh
+++ b/remote/ipeserv.sh
@@ -3,7 +3,7 @@
[ -z $report ] && source lib/remote/status.sh
function check_ipe {
- check "katrin" "katrin.kit.edu" "check_server_status <host>"
+# check "katrin" "katrin.kit.edu" "check_server_status <host>"
check "ipepdvsrv1" "ipepdvsrv1.ipe.kit.edu" "check_server_status <host>"
check "ipepdvsrv2" "ipepdvsrv2.ipe.kit.edu" "check_server_status <host>"
check "ipekatrin1" "ipekatrin1.ipe.kit.edu" "check_server_status <host> uptime"