diff options
Diffstat (limited to 'remote/ipeserv.sh')
| -rw-r--r-- | remote/ipeserv.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/remote/ipeserv.sh b/remote/ipeserv.sh new file mode 100644 index 0000000..9f314a1 --- /dev/null +++ b/remote/ipeserv.sh @@ -0,0 +1,15 @@ +#! /bin/bash + +[ -z $report ] && source lib/status.sh + +function check_ipe { + 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" + check "ipekatrin2" "ipekatrin2.ipe.kit.edu" "check_server_status <host> uptime" + check "ipekatrin3" "ipekatrin3.ipe.kit.edu" "check_server_status <host> uptime" +} + +print "IPE Servers\n" +report "check_ipe" " print_table | sed 's/,/,#/g' | column -t -s '#' -o '' | decorate_table" |