diff options
Diffstat (limited to 'tools/boca-submit-run')
| -rw-r--r-- | tools/boca-submit-run | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index d6e7685..4158a4c 100644 --- a/tools/boca-submit-run +++ b/tools/boca-submit-run @@ -49,6 +49,11 @@ if [ -r "$5" ]; then uuencode -m zzzzzzzzzz < "$5" | grep -v "begin-base64.*zzzzzzzzzz" | perl -MURI::Escape -lne 'print uri_escape($_)' >> $temp echo "" >> $temp boca-submit-run-aux $temp + if [ "$?" == "2" ]; then + echo "$BOCASERVER: time-out - this will automatically retry soon, you should not worry" + boca-submit-run-root $temp + fi + rm $temp done else echo "file $1 not found/readable" |