diff options
Diffstat (limited to 'remote/ipe.sh')
| -rwxr-xr-x | remote/ipe.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/remote/ipe.sh b/remote/ipe.sh deleted file mode 100755 index 8ef7a2a..0000000 --- a/remote/ipe.sh +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/bash - -. 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" -standart_report "check_ipe" " print_table | sed 's/,/,#/g' | column -t -s '#' -o '' | decorate_table" |