Browse code
Switch on curl retry options for fetching get-pip.py
Let's retry a few times before giving up.
Related-Bug: #1413034
Change-Id: I7c5c1a3936b5c08c5de43edc569b5a53d11b55a7
Davanum Srinivas authored on 2015/01/22 21:57:37Showing 1 changed files
| ... | ... |
@@ -43,7 +43,7 @@ function get_versions {
|
| 43 | 43 |
|
| 44 | 44 |
function install_get_pip {
|
| 45 | 45 |
if [[ ! -r $LOCAL_PIP ]]; then |
| 46 |
- curl -o $LOCAL_PIP $PIP_GET_PIP_URL || \ |
|
| 46 |
+ curl --retry 6 --retry-delay 5 -o $LOCAL_PIP $PIP_GET_PIP_URL || \ |
|
| 47 | 47 |
die $LINENO "Download of get-pip.py failed" |
| 48 | 48 |
fi |
| 49 | 49 |
sudo -H -E python $LOCAL_PIP |