diff --git a/run.sh b/run.sh index 7cd2cf03..1830462a 100755 --- a/run.sh +++ b/run.sh @@ -13,7 +13,7 @@ fi source /opt/idssys/nodemgmt/defaults.inc if [ "$1" != "service" ] && [ "$1" != "status-check" ] && [ "$1" != "nightlyrenew" ]; then - if [ ! -z ${action+x} ] || "${1}" = "gui" ]; then + if [ -z ${action+x} ] || "${1}" = "gui" ]; then DISP_HEADER fi if [ "${1}" != "gui" ]; then