Browse Source

Merge pull request #692 from eesast/dev

fix: run.sh retry times
main
xiangmy21 GitHub 1 year ago
parent
commit
e5670950dd
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 6 deletions
  1. +6
    -6
      dependency/shell/run.sh

+ 6
- 6
dependency/shell/run.sh View File

@@ -54,9 +54,9 @@ read_array() {


function retry_command { function retry_command {
local command="$1" local command="$1"
local max_attempts=2
local max_attempts=10
local attempt_num=1 local attempt_num=1
local sleep_seconds=10
local sleep_seconds=5


while [ $attempt_num -le $max_attempts ]; do while [ $attempt_num -le $max_attempts ]; do
echo "Attempt $attempt_num / $max_attempts to run command: $command" echo "Attempt $attempt_num / $max_attempts to run command: $command"
@@ -67,11 +67,11 @@ function retry_command {
sleep $sleep_seconds sleep $sleep_seconds


if kill -0 $PID 2>/dev/null; then if kill -0 $PID 2>/dev/null; then
echo "Connected to server successfully."
return 0
else
echo "Failed to connect to server. Retrying..." echo "Failed to connect to server. Retrying..."
((attempt_num++)) ((attempt_num++))
else
echo "Connected to server successfully."
return 0
fi fi
done done


@@ -93,7 +93,7 @@ if [ "$TERMINAL" = "SERVER" ]; then
echo "FINISH URL: $FINISH_URL" echo "FINISH URL: $FINISH_URL"


echo "waiting..." echo "waiting..."
sleep 30 # wait connection time
sleep 60 # wait connection time
echo "watching..." echo "watching..."


if [ -f $playback_dir/start.lock ]; then if [ -f $playback_dir/start.lock ]; then


Loading…
Cancel
Save