diff options
Diffstat (limited to 'remote/adei.sh')
-rwxr-xr-x | remote/adei.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/remote/adei.sh b/remote/adei.sh new file mode 100755 index 0000000..d5325a6 --- /dev/null +++ b/remote/adei.sh @@ -0,0 +1,13 @@ +#! /bin/bash + +. 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'" + 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" +} + +print "ADEI\n" +standart_report "check_adei" |