jenkins_wait_reboot_done.sh

#!/bin/bash
[ -e "${HOME}/.jenkins-bashrc" ] && source "${HOME}/.jenkins-bashrc"
JENKINS_WAIT_REBOOT_DEFAULT="${JENKINS_WAIT_REBOOT_DEFAULT:-http://localhost:8080}"
url="${1:-${JENKINS_WAIT_REBOOT_DEFAULT}}"
url="${url%/}"
if [ "${url##*/}" != login ]; then
  url="${url}/login"
fi
endpoint=${url#*//}
endpoint=${endpoint%%.*}
endpoint=${endpoint%%:*}
while [ ! 200 = "$(curl ${CURL_OPTS} -siI -w "%{http_code}\\n" -o /dev/null ${url})" ];do echo -n '.';sleep 1;done
export NOTIFY_TITLE="jenkins wait reboot"
say_job_done.sh "${endpoint} ready."