Update run.sh

2019-07-25 22:30:06 -05:00
1 parent 8b72322b3d
commit d60eb5087d
@@ -12,7 +12,7 @@ source /opt/idssys/nodemgmt/defaults.inc

 if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then
 	if [ "${1}" = "gui" ]; then
-		DISP_HEADER
+		# DISP_HEADER
 	fi
 	if [ "${1}" != "gui" ]; then
 		if [ "${2}" != "q" ]; then