commit 485334137b88289db6eb1dcbdb6e6ef31478519d
author Benoit Lamarche <benoitlamarche@google.com> Wed Apr 22 18:04:22 2015 +0200
committer Benoit Lamarche <benoitlamarche@google.com> Wed Apr 22 19:03:02 2015 +0200
tree fc48d2552f5d3cd1e0f699b63b26b613f5606c61
parent 4b541e77beaf77912ba86067fd7ac8c3ba986572

Set DELAY_CONNECT to 30s and RETRY_LAUNCH to 1 in jack script

Change-Id: I5e1e7d2baf0cf3a8a720d24e6b76b0b1704a3cb7

tools/jack

diff --git a/tools/jack b/tools/jack
index b26baff..106e653 100755
--- a/tools/jack
+++ b/tools/jack
@@ -14,7 +14,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-# v 1.1-a11-log
+# v 1.1-a11-log-pl1
 #
 set -o nounset
 umask 077
@@ -115,18 +115,19 @@
 set +o errexit
 trap ERR
 
-RETRY_LAUNCH=3
+RETRY_LAUNCH=1
 RETRY_SESSION=3
-DELAY_CONNECT=3
+DELAY_CONNECT=30
 
 
 # Launch compilation
 DATE_CONNECT=$(date +%s)
 while true; do
+  CURL_TIME=$(date +%H:%M:%S)
   HTTP_CODE=$(curl --fail --silent --data @- --output "$JACK_EXIT" --write-out %{http_code} --connect-timeout 10 --no-proxy 127.0.0.1:$SERVER_PORT_SERVICE http://127.0.0.1:$SERVER_PORT_SERVICE/jack <<< "+ $JACK_OUT $JACK_ERR $JACK_CLI")
   CURL_CODE=$?
   JACK_CODE=$(cat "$JACK_EXIT")
-  echo "CURL: $$ - $CURL_CODE - $HTTP_CODE - $JACK_CODE" >>$SERVER_LOG
+  echo "CURL: $$ - $CURL_TIME - $CURL_CODE - $HTTP_CODE - $JACK_CODE" >>$SERVER_LOG
   if [ $CURL_CODE -eq 0 ]; then
     # No problem, let's go
     break;