diff options
| author | Jean-Philippe Lesot <jplesot@google.com> | 2016-01-07 15:44:58 +0100 |
|---|---|---|
| committer | Jean-Philippe Lesot <jplesot@google.com> | 2016-01-07 15:44:58 +0100 |
| commit | 0d119b6650f4a695a8be5322c1012212e241739a (patch) | |
| tree | c23352805f6e43b9b1735e4b8bb7cfdd094bd835 | |
| parent | fcc7588a5588462cbdffcfa03eb36457369fc175 (diff) | |
| download | toolchain_jack-0d119b6650f4a695a8be5322c1012212e241739a.zip toolchain_jack-0d119b6650f4a695a8be5322c1012212e241739a.tar.gz toolchain_jack-0d119b6650f4a695a8be5322c1012212e241739a.tar.bz2 | |
Remove status of curl in log
Change-Id: I69c2d47474d3ef64a65382c4ea39ce23a6c49f15
| -rwxr-xr-x | jack/etc/jack | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index c6c6374..a831e33 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -132,11 +132,9 @@ 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_TIME - $CURL_CODE - $HTTP_CODE - $JACK_CODE" >>$JACK_CLIENT_LOG if [ $CURL_CODE -eq 0 ]; then # No problem, let's go break; |