Merge branch 'pr-improvements' into pr-improvements

This commit is contained in:
Nils Bergmann
2021-12-09 17:43:52 +01:00
committed by GitHub
5 changed files with 20 additions and 16 deletions

View File

@@ -37,12 +37,13 @@ else
echo "Server already initialized"
fi
while [ ! -f "/client/migrated" ]; do
echo "Client setup not finished. Waiting for setup container to complete"
sleep 1
# check to make sure the setup has completed
while [ ! -f "/client/extracted" ] || [ ! -f "/client/migrated" ]; do
echo "Client setup not finished. Waiting for setup container to complete..."
sleep 5
done
# start the server
echo "Start MasterServer"
echo "Starting MasterServer"
./MasterServer
tail -f /dev/null