Skip to content

Commit

Permalink
Merge pull request #687 from eesast/dev
Browse files Browse the repository at this point in the history
Add retry
  • Loading branch information
DragonAura authored May 7, 2024
2 parents f9ecfb3 + a65d0e2 commit 359810e
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions dependency/shell/run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -184,6 +184,7 @@ elif [ "$TERMINAL" = "CLIENT" ]; then
echo "find ./$code_name"

command="nice -0 ./$code_name -I $CONNECT_IP -P $PORT -p $j > $playback_dir/team$k-player$j.log 2>&1"
retry_command "$command" &

ps -aux |grep $code_name

Expand All @@ -202,15 +203,15 @@ elif [ "$TERMINAL" = "CLIENT" ]; then

command="nice -0 python3 $python_main_dir$i/PyAPI/main.py -I $CONNECT_IP -P $PORT -p $j > $playback_dir/team$k-player$j.log 2>&1"

retry_command "$command"
retry_command "$command" &

ps -aux |grep main.py
elif [ -f "./$code_name" ]; then
echo "find ./$code_name"

command="nice -0 ./$code_name -I $CONNECT_IP -P $PORT -p $j > $playback_dir/team$k-player$j.log 2>&1"

retry_command "$command"
retry_command "$command" &

ps -aux |grep $code_name
else
Expand All @@ -220,7 +221,7 @@ elif [ "$TERMINAL" = "CLIENT" ]; then

# curl $CONNECT_IP:$PORT

sleep $((GAME_TIME * 2))
sleep $((GAME_TIME + 90))

popd
else
Expand Down

0 comments on commit 359810e

Please sign in to comment.