From accde87fcee37432125d22d2db1dff08f0f03a7f Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sun, 3 Feb 2019 20:09:41 -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 85582c12..aa4c6552 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}" ] || "${1}" = "gui" ]; then DISP_HEADER fi if [ "${1}" != "gui" ]; then