then
echo "$0: Copying to remote '${GLASSFISH_SSH_SERVER}' ..."
scp "${DIST}" "${GLASSFISH_SSH_SERVER}:${GLASSFISH_SSH_PATH}"
then
echo "$0: Copying to remote '${GLASSFISH_SSH_SERVER}' ..."
scp "${DIST}" "${GLASSFISH_SSH_SERVER}:${GLASSFISH_SSH_PATH}"