diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-10 04:33:10 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-10 04:33:10 +0000 |
| commit | e9a96f5453e5675bfcc74c3c977720064575c423 (patch) | |
| tree | 673db8560854a28be427900b37a908a5a5cfb21a /tools/boca-submit-run | |
| parent | 0ec22acb9a0b7700eb9b8577d57cc26aee69ac03 (diff) | |
| download | boca-e9a96f5453e5675bfcc74c3c977720064575c423.tar.gz boca-e9a96f5453e5675bfcc74c3c977720064575c423.zip | |
fixes
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" |