- exit 1
-fi
-
-# Load it
-source "${DIST_CONFIG_FILE}"
-
-# All set?
-if [ -z "${GLASSFISH_SSH_PATH}" ]
-then
- echo "$0: Variable GLASSFISH_SSH_PATH not set."
- exit 1
-elif [ -z "${GLASSFISH_SSH_USER}" ]
-then
- echo "$0: Variable GLASSFISH_SSH_USER not set."
- exit 1
-elif [ -z "${GLASSFISH_SSH_SERVER}" ]
-then
- echo "$0: Variable GLASSFISH_SSH_SERVER not set."
- exit 1