summaryrefslogtreecommitdiffstats
path: root/remote/ipeserv.sh
blob: 9f314a176f787562c34e0446703172c34dfd2792 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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"