diff --git a/devbox/devbox.local/devbox b/devbox/devbox.local/devbox index 19ae0dd..35b42b9 100644 --- a/devbox/devbox.local/devbox +++ b/devbox/devbox.local/devbox @@ -1973,10 +1973,11 @@ else # Check if \$DEVBOX_BACKEND_PORT exists if [ -z "\$DEVBOX_BACKEND_PORT" ]; then - echo "ERROR: DEVBOX_BACKEND_PORT is not set." + echo "WARNING: DEVBOX_BACKEND_PORT is not set." export DEVBOX_BACKEND_PORT=8002 fi + echo "DEVBOX_BACKEND_PORT: \$DEVBOX_BACKEND_PORT" echo "Waiting for WebAPI service to become healthy..." while [ \$ATTEMPT -lt \$MAX_ATTEMPTS ]; do