#! /bin/bash [ -z $report ] && source lib/status.sh function check_adei { check "KaaS" "kaas" "check_service adei adei-katrin.kaas.kit.edu/adei 'db_server=fpd&db_name=katrin_rep&db_group=0'" check "BESS" "pcebess" "check_service adei pcebessadei.competence-e.kit.edu/adei-battery" check "IMK" "imkmast" "check_service adei imkmastadei.ka.fzk.de/adei" check "CRD" "crd" "check_service adei adei.crd.yerphi.am/adei" } print "ADEI\n" report "check_adei"