Retry on URLError

This commit is contained in:
Andrew Murray 2019-03-12 20:44:00 +11:00
parent b3587f0fb7
commit 186a52ca01

View File

@ -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