diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-30 15:31:13 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-30 15:31:13 +0000 |
| commit | e71b036c9ecab82d8d8e4bbcfe3657fd671fca75 (patch) | |
| tree | c9b773b828d092b6e1c67f09307cf88453c5ba0b /tools/boca-submit-run | |
| parent | 198dcd42b9a44a838020c05999dfb263ae1628e8 (diff) | |
| download | boca-e71b036c9ecab82d8d8e4bbcfe3657fd671fca75.tar.gz boca-e71b036c9ecab82d8d8e4bbcfe3657fd671fca75.zip | |
small fixes
Diffstat (limited to 'tools/boca-submit-run')
| -rwxr-xr-x | tools/boca-submit-run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index f78fbd6..78e79bd 100755 --- a/tools/boca-submit-run +++ b/tools/boca-submit-run @@ -63,7 +63,7 @@ if [ -r "$5" ]; then $runaux $temp if [ "$?" == "2" ]; then echo "$BOCASERVER: time-out - this will automatically retry soon, you should not worry" - $runroot "$BOCASERVER" "$user" "$pass" "$nom" "$5" + $runroot $temp fi rm $temp done |