#! /bin/bash

[ -z $report ] && source lib/remote/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"