From 59dafb8f872b8fdc3d624f7ba4049e98268fceed Mon Sep 17 00:00:00 2001 From: Tianyong Qiu Date: Mon, 10 Feb 2025 02:09:51 +0800 Subject: [PATCH] Update for restart command optimize --- devbox/devbox.local/devbox | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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