diff options
Diffstat (limited to 'remote/adei.sh')
| -rw-r--r-- | remote/adei.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/remote/adei.sh b/remote/adei.sh index 0b5c42d..c4ba109 100644 --- a/remote/adei.sh +++ b/remote/adei.sh @@ -1,12 +1,12 @@ #! /bin/bash -[ -z $report ] && source lib/status.sh +[ -z $report ] && source lib/remote/status.sh function check_adei { - check "KaaS" "kaas" "check_service adei <host> adei-katrin.kaas.kit.edu/adei 'db_server=fpd&db_name=katrin_rep&db_group=0'" - check "BESS" "pcebess" "check_service adei <host> pcebessadei.competence-e.kit.edu/adei-battery" - check "IMK" "imkmast" "check_service adei <host> imkmastadei.ka.fzk.de/adei" - check "CRD" "crd" "check_service adei <host> adei.crd.yerphi.am/adei" + check "KaaS" "kaas" "check_service adei <host> 'db_server=fpd&db_name=katrin_rep&db_group=0'" + check "BESS" "pcebess" "check_service adei <host>" + check "IMK" "imkmast" "check_service adei <host>" + check "CRD" "crd" "check_service adei <host>" } |