| commit | 481d50d80cf163543a51365a5da015177e42e15f | [log] [tgz] |
|---|---|---|
| author | Jenkins <jenkins@review.openstack.org> | Thu Jan 29 06:51:52 2015 +0000 |
| committer | Gerrit Code Review <review@openstack.org> | Thu Jan 29 06:51:52 2015 +0000 |
| tree | 0a162331562e857ef8b3251cfcffd52e2965ccd8 | |
| parent | 36b13f58cfc2ddc286d96e4aa45d565c97ab5990 [diff] | |
| parent | f5b415425199c3496872849a3ada08e5a821b36b [diff] |
Merge "Switch on curl retry options for fetching get-pip.py"
diff --git a/tools/install_pip.sh b/tools/install_pip.sh index d57a687..73d0947 100755 --- a/tools/install_pip.sh +++ b/tools/install_pip.sh
@@ -43,7 +43,7 @@ function install_get_pip { if [[ ! -r $LOCAL_PIP ]]; then - curl -o $LOCAL_PIP $PIP_GET_PIP_URL || \ + curl --retry 6 --retry-delay 5 -o $LOCAL_PIP $PIP_GET_PIP_URL || \ die $LINENO "Download of get-pip.py failed" fi sudo -H -E python $LOCAL_PIP