diff --git a/dependency/shell/run.sh b/dependency/shell/run.sh index 69fd6ae..82b9833 100644 --- a/dependency/shell/run.sh +++ b/dependency/shell/run.sh @@ -53,13 +53,9 @@ if [ -f $playback_dir/start.lock ]; then sleep 1 ps -p $server_pid > /dev/null 2>&1 done - touch $playback_dir/1.flag result=$(cat /usr/local/playback/result.json) - touch $playback_dir/2.flag score0=$(echo "$result" | grep -oP '(?<="Student":)\d+') - touch $playback_dir/3.flag score1=$(echo "$result" | grep -oP '(?<="Tricker":)\d+') - touch $playback_dir/4.flag curl $URL -X PUT -H "Content-Type: application/json" -H "Authorization: Bearer $TOKEN" -d '{"result":[{"team_id":0, "score":'${score0}'}, {"team_id":1, "score":'${score1}'}], "mode":'${MODE}'}'> $playback_dir/send.log 2>&1 touch $playback_dir/finish.lock echo "Finish"