diff options
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 |