From d60eb5087d9661cf564ccbaec04da23fb8cafa22 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Thu, 25 Jul 2019 22:30:06 -0500 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 4b9962b8..a0017a5e 100755 --- a/run.sh +++ b/run.sh @@ -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