From fe72c7e5c400a7e2cab87536cac8f26fb55f0cea Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Tue, 31 Mar 2020 17:38:13 +0300 Subject: project.boost: retry downloads --- project/boost/download.py | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'project/boost') diff --git a/project/boost/download.py b/project/boost/download.py index ae18e94..13a89f4 100644 --- a/project/boost/download.py +++ b/project/boost/download.py @@ -25,14 +25,19 @@ import urllib.request from project.boost.archive import Archive, PermanentStorage, TemporaryStorage from project.boost.version import Version -from project.utils import normalize_path, setup_logging +from project.utils import normalize_path, retry, setup_logging + + +@retry(urllib.request.URLError) +def _download_try_url_retry(url): + with urllib.request.urlopen(url, timeout=20) as request: + return request.read() def _download_try_url(url): logging.info('Trying URL: %s', url) try: - with urllib.request.urlopen(url, timeout=20) as request: - return request.read() + return _download_try_url_retry(url) except urllib.request.URLError as e: logging.error("Couldn't download from this mirror, an error occured:") logging.exception(e) -- cgit v1.2.3