+# Is the configuration file there?
+if [ ! -f "${DIST_CONFIG_FILE}" ]
+then
+ echo "$0: Configuration file '${DIST_CONFIG_FILE}' not found"
+ echo
+ echo "Following variables are needed:"
+ echo "- GLASSFISH_SSH_PATH"
+ echo "- GLASSFISH_SSH_USER"
+ echo "- GLASSFISH_SSH_SERVER"
+ echo
+ echo "And create a password-less SSH key."
+ 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
+fi
+