Merge pull request #3711 from radarhere/retry

Retry on URLError
2025-01-26 01:04:29 +03:00 · 2019-03-12 13:58:58 +02:00 · 2019-03-12 13:58:58 +02:00 · 3e9457a034
commit 3e9457a034
parent c09a502afb 186a52ca01
1 changed files with 5 additions and 1 deletions
--- a/winbuild/fetch.py
+++ b/winbuild/fetch.py
@ -9,7 +9,11 @@ def fetch(url):

    if not os.path.exists(name):
        print("Fetching", url)
-        content = urllib.request.urlopen(url).read()
+        try:
+            r = urllib.request.urlopen(url)
+        except urllib.error.URLError:
+            r = urllib.request.urlopen(url)
+        content = r.read()
        with open(name, 'wb') as fd:
            fd.write(content)
    return name