diff options
Diffstat (limited to 'remote/adei.sh')
| -rw-r--r--[-rwxr-xr-x] | remote/adei.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/remote/adei.sh b/remote/adei.sh index d5325a6..0b5c42d 100755..100644 --- a/remote/adei.sh +++ b/remote/adei.sh @@ -1,6 +1,6 @@ #! /bin/bash -. lib/status.sh +[ -z $report ] && source lib/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'" @@ -9,5 +9,6 @@ function check_adei { check "CRD" "crd" "check_service adei <host> adei.crd.yerphi.am/adei" } + print "ADEI\n" -standart_report "check_adei" +report "check_adei" |