ryanyao/freeleaps-pub
1
0
Fork 0
forked from freeleaps/freeleaps-pub
Code Pull Requests Activity

Update for restart command optimize

Browse Source
This commit is contained in:
Tianyong Qiu 2025-02-10 02:09:51 +08:00
parent dd7049128d
commit 59dafb8f87
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
devbox/devbox.local/devbox
View File

@ -1973,10 +1973,11 @@ else
# Check if \$DEVBOX_BACKEND_PORT exists # Check if \$DEVBOX_BACKEND_PORT exists
if [ -z "\$DEVBOX_BACKEND_PORT" ]; then 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 export DEVBOX_BACKEND_PORT=8002
fi fi
echo "DEVBOX_BACKEND_PORT: \$DEVBOX_BACKEND_PORT"
echo "Waiting for WebAPI service to become healthy..." echo "Waiting for WebAPI service to become healthy..."
while [ \$ATTEMPT -lt \$MAX_ATTEMPTS ]; do while [ \$ATTEMPT -lt \$MAX_ATTEMPTS ]; do