From e9a96f5453e5675bfcc74c3c977720064575c423 Mon Sep 17 00:00:00 2001
From: cassio <cassiopc@gmail.com>
Date: Mon, 10 Aug 2015 01:33:10 -0300
Subject: fixes

---
 tools/boca-submit-run | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tools/boca-submit-run')

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"
-- 
cgit v1.2.3