From e71b036c9ecab82d8d8e4bbcfe3657fd671fca75 Mon Sep 17 00:00:00 2001
From: cassio <cassiopc@gmail.com>
Date: Sun, 30 Aug 2015 16:31:13 +0100
Subject: small fixes

---
 tools/boca-submit-run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

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