From e8210b467cfe65faf0eb4b3bd838b04b4461a4ad Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Thu, 7 Feb 2019 23:31:22 -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 3a2458b4..9045d64b 100755 --- a/run.sh +++ b/run.sh @@ -9,7 +9,7 @@ else source /opt/idssys/settings/nodemgmt.conf fi source /opt/idssys/nodemgmt/defaults.inc -echo "$1 - $2" + if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then if [ "${1}" = "gui" ]; then DISP_HEADER