diff options
Diffstat (limited to 'remote')
| -rw-r--r-- | remote/ipeserv.sh | 2 |
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" |