diff options
Diffstat (limited to 'remote/ipeserv.sh')
| -rw-r--r-- | remote/ipeserv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/ipeserv.sh b/remote/ipeserv.sh index a152076..a4ace97 100644 --- a/remote/ipeserv.sh +++ b/remote/ipeserv.sh @@ -1,6 +1,6 @@ #! /bin/bash -[ -z $report ] && source lib/remote/status.sh +[ -z $report_style ] && source lib/remote/status.sh function check_ipe { # check "katrin" "katrin.kit.edu" "check_server_status <host>" |