Merge pull request #317 from eesast/dev

Update run.sh
eesast · May 7, 2024 · dcf1e10 · dcf1e10
2 parents b220a48 + 2765beb
commit dcf1e10
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/dependency/shell/run.sh b/dependency/shell/run.sh
@@ -105,6 +105,14 @@ if [ "$TERMINAL" = "SERVER" ]; then
         kill -9 $server_pid
         finish_payload='{"result": {"status": "Crashed", "scores": [0, 0]}}'
         curl $FINISH_URL -X POST -H "Content-Type: application/json" -H "Authorization: Bearer $TOKEN" -d "${finish_payload}" > $playback_dir/send.log 2>&1
+    else
+        ps -p $server_pid
+        while [ $? -eq 0 ]
+        do
+            sleep 1
+            ps -p $server_pid > /dev/null 2>&1
+        done
+        echo "Server is down."
     fi
 
 elif [ "$TERMINAL" = "CLIENT" ]; then