diff options
| author | kennytm <kennytm@gmail.com> | 2019-02-23 02:21:41 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2019-02-23 03:25:14 +0800 |
| commit | ee07b15a3c6076f31cc8085ec9274663b20b5af3 (patch) | |
| tree | 94d54327c216c6f26d79da56818274304ada20f7 | |
| parent | e1c6d00574494499f63c1e460ef886768643e7db (diff) | |
| download | rust-ee07b15a3c6076f31cc8085ec9274663b20b5af3.tar.gz rust-ee07b15a3c6076f31cc8085ec9274663b20b5af3.zip | |
Added a connection timeout and speed threshold when downloading the Docker cache
| -rwxr-xr-x | src/ci/docker/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 25d4d73c7fe..b4426bbfb96 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -31,7 +31,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then echo "Attempting to download $s3url" rm -f /tmp/rustci_docker_cache set +e - retry curl -f -L -C - -o /tmp/rustci_docker_cache "$url" + retry curl -y 30 -Y 10 --connect-timeout 30 -f -L -C - -o /tmp/rustci_docker_cache "$url" loaded_images=$(docker load -i /tmp/rustci_docker_cache | sed 's/.* sha/sha/') set -e echo "Downloaded containers:\n$loaded_images" |