From 6b76910d364a7ec67dbbf4bb6fe7592d237e12c0 Mon Sep 17 00:00:00 2001 From: Gerrit Gogel Date: Mon, 1 Feb 2021 19:18:38 +0100 Subject: [PATCH] watch seafile-server on port 8082 --- seahub/scripts/start.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/seahub/scripts/start.sh b/seahub/scripts/start.sh index 741e0a6..94a9a72 100644 --- a/seahub/scripts/start.sh +++ b/seahub/scripts/start.sh @@ -22,15 +22,15 @@ function start_socat { function watch_server { while true; do - if ! nc -z seafile-server 8080 2>/dev/null; then + sleep 2 + if ! nc -z seafile-server 8082 2>/dev/null; then echo "Seafile server is unreachable. Stopping seahub..." pkill -f manage.py - while ! nc -z seafile-server 8080 2>/dev/null; do + while ! nc -z seafile-server 8082 2>/dev/null; do sleep 1 done start_seahub & fi - sleep 2 done }