From 91ed480b8bf777ccde1f1ca21085113add316ab0 Mon Sep 17 00:00:00 2001
From: Simon Allier <simon.allier@gmail.com>
Date: Tue, 17 Dec 2013 14:16:21 +0100
Subject: [PATCH] update grid5000.sh

---
 grid5000.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grid5000.sh b/grid5000.sh
index 1cfad161..d276e120 100644
--- a/grid5000.sh
+++ b/grid5000.sh
@@ -4,7 +4,7 @@ git pull
 mvn clean package
 
 n=$RANDOM
-sleep $(( r %= 120 ))
+sleep $(( r %= 300 ))
 
 rm -rf repo/diversify-exp
 java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo