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