File size: 456 Bytes
a0cd72f |
1 2 3 4 5 6 7 8 9 10 11 12 |
#!/usr/bin/env bash
set -e
OLDSTART=$(curl --silent 'http://127.0.0.1:8080/api/v1/system/version')
girder build --dev
touch /etc/girder.cfg
echo "Girder has been rebuilt and will now restart"
while true; do NEWSTART=$(curl --silent 'http://127.0.0.1:8080/api/v1/system/version' || true); if [ "${OLDSTART}" != "${NEWSTART}" ]; then echo ${NEWSTART} | grep -q 'release' && break || true; fi; sleep 1; echo -n "."; done
echo ""
echo "Girder has restarted"
|