From a1a0947e281e31653834b003acc1261da567dd5f Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sun, 3 Feb 2019 20:11:37 -0600 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index aa4c6552..0297e8a4 100755 --- a/run.sh +++ b/run.sh @@ -11,7 +11,7 @@ fi source /opt/idssys/nodemgmt/defaults.inc if [ "$1" != "service" ] && [ "$1" != "status-check" ] && [ "$1" != "nightlyrenew" ]; then - if [ -z "${1}" ] || "${1}" = "gui" ]; then + if [ -z ${1+x} ] || "${1}" = "gui" ]; then DISP_HEADER fi if [ "${1}" != "gui" ]; then