diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-29 20:40:15 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-29 20:40:15 +0300 |
commit | 7a948c2768688b9e82684d52a4e89a2520fb368e (patch) | |
tree | 4842d1596b8a85e2d657ace2d6cd49573d4f2ee4 | |
parent | boost/build: try multiple mirrors (diff) | |
download | cmake-common-7a948c2768688b9e82684d52a4e89a2520fb368e.tar.gz cmake-common-7a948c2768688b9e82684d52a4e89a2520fb368e.zip |
boost/build: download timeouts
-rwxr-xr-x | boost/build/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boost/build/build.py b/boost/build/build.py index 0450593..8da8c9e 100755 --- a/boost/build/build.py +++ b/boost/build/build.py @@ -251,7 +251,7 @@ class ArchiveStorage(abc.ABC): for url in urls: logging.info('Trying URL: %s', url) try: - with urllib.request.urlopen(url) as request: + with urllib.request.urlopen(url, timeout=20) as request: with self.write_archive(version, request.read()) as path: yield BoostArchive(version, path) return |