diff --git a/dev/ofunctions.sh b/dev/ofunctions.sh index e9f651a..ef1a528 100644 --- a/dev/ofunctions.sh +++ b/dev/ofunctions.sh @@ -31,7 +31,7 @@ #### OFUNCTIONS MINI SUBSET #### #### OFUNCTIONS MICRO SUBSET #### _OFUNCTIONS_VERSION=2.3.0-dev-postRC2 -_OFUNCTIONS_BUILD=2019070502 +_OFUNCTIONS_BUILD=2019070503 #### _OFUNCTIONS_BOOTSTRAP SUBSET #### _OFUNCTIONS_BOOTSTRAP=true #### _OFUNCTIONS_BOOTSTRAP SUBSET END #### @@ -434,7 +434,7 @@ function CleanUp { rm -f "$RUN_DIR/$PROGRAM."*".$SCRIPT_PID.$TSTAMP.tmp" fi - if [ "$SSH_CONTROLMASTER" == true ]; then + if [ "$SSH_CONTROLMASTER" == true ] && [ "$SSH_CMD" != "" ]; then $SSH_CMD -O exit fi }