We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
There was an error while loading.Please reload this page.
1 parent3e438e7 commit7f1f744Copy full SHA for 7f1f744
scripts/develop.sh
@@ -62,7 +62,11 @@ CODER_DEV_SHIM="${PROJECT_ROOT}/scripts/coder-dev.sh"
62
"${CODER_DEV_SHIM}" server --address 0.0.0.0:3000||kill -INT -$$&
63
64
echo'== Waiting for Coder to become ready'
65
-timeout 60s bash -c'until curl -s --fail http://localhost:3000/healthz > /dev/null 2>&1; do sleep 0.5; done'
+curl --silent --fail --connect-timeout 1 --max-time 1 --retry 60 --retry-delay 1 --retry-max-time 60 --retry-all-errors'http://localhost:3000/healthz'||
66
+{
67
+echo'== ERROR: Coder did not become ready in time'
68
+kill -INT -$$
69
+}
70
71
# Check if credentials are already set up to avoid setting up again.
72
"${CODER_DEV_SHIM}" list>/dev/null2>&1&& touch"${PROJECT_ROOT}/.coderv2/developsh-did-first-setup"