diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-30 15:17:40 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-30 15:17:40 +0000 |
| commit | 198dcd42b9a44a838020c05999dfb263ae1628e8 (patch) | |
| tree | 0d878d74764882fe7bb6592d543954b29622d2f3 /tools/boca-submit-run-aux | |
| parent | be2798607fd15e8b116993a8d33d75b0a6ad0f50 (diff) | |
| download | boca-198dcd42b9a44a838020c05999dfb263ae1628e8.tar.gz boca-198dcd42b9a44a838020c05999dfb263ae1628e8.zip | |
small fixes
Diffstat (limited to 'tools/boca-submit-run-aux')
| -rwxr-xr-x | tools/boca-submit-run-aux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/boca-submit-run-aux b/tools/boca-submit-run-aux index 1469af3..a9ff432 100755 --- a/tools/boca-submit-run-aux +++ b/tools/boca-submit-run-aux @@ -46,7 +46,7 @@ if [ "$?" == "0" ]; then echo -n "&data=" >> $temp uuencode -m zzzzzzzzzz < $1 | grep -v "begin-base64.*zzzzzzzzzz" | perl -MURI::Escape -lne 'print uri_escape($_)' >> $temp - wget -t 2 -T 7 "http://$BOCASERVER/boca/team/getfile.php" --load-cookies /tmp/.cookie.txt --keep-session-cookies -O /dev/null --post-file=$temp >${temp}.out 2>/dev/null + wget -t 2 -T 7 "http://$BOCASERVER/boca/team/run.php" --load-cookies /tmp/.cookie.txt --keep-session-cookies -O /dev/null --post-file=$temp >${temp}.out 2>/dev/null res=`tail -n1 ${temp}.out` echo $res | grep -q "RESULT:" @@ -54,7 +54,7 @@ if [ "$?" == "0" ]; then echo "$BOCASERVER : run $uniq dateerr $dateerr : $res" rm -f "$1" else - echo "$BOCASERVER : run $uniq dateerr $dateerr : error to submit run (getfile.php), will try again" + echo "$BOCASERVER : run $uniq dateerr $dateerr : error to upload the run, will NOT try again, check details" fi rm -f ${temp}.out fi |