Update run.sh

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