Glassvision/IfcOpenShell
1
0
Fork 0
mirror of https://github.com/IfcOpenShell/IfcOpenShell.git synced 2026-09-11 06:18:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Nix build retry downloads

Browse Source
This commit is contained in:
Thomas Krijnen
2025-06-13 18:15:23 +02:00
parent 9b8357c5ec
commit c8d74a560c
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
nix/build-all.py
+9 -1
View File
@@ -69,6 +69,7 @@ import sysconfig
import ssl import ssl
ssl._create_default_https_context = ssl._create_unverified_context ssl._create_default_https_context = ssl._create_unverified_context
import time
from urllib.request import urlretrieve from urllib.request import urlretrieve
@@ -385,7 +386,14 @@ def build_dependency(name, mode, build_tool_args, download_url, download_name, d
download_path = os.path.join(build_dir, download_name) download_path = os.path.join(build_dir, download_name)
if not os.path.exists(download_path): if not os.path.exists(download_path):
urlretrieve(url, os.path.join(build_dir, download_path)) for _ in range(3):
try:
urlretrieve(url, os.path.join(build_dir, download_path))
break
except ConnectionError as e:
print(e, "... retrying...")
time.sleep(30.)
continue
else: else:
logger.info(f"Download '{download_path}' already exists, assuming it's an undamaged download and that it has been extracted if possible, skipping") logger.info(f"Download '{download_path}' already exists, assuming it's an undamaged download and that it has been extracted if possible, skipping")
elif download_tool == download_tool_git: elif download_tool == download_tool_git: