From 5709305602ae52aaabcb9468148259ae9f4e4019 Mon Sep 17 00:00:00 2001 From: ccd0 Date: Sun, 1 Nov 2015 12:12:02 -0800 Subject: [PATCH] Retry once on urllib.error.URLError. --- tools/banners.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/banners.py b/tools/banners.py index b97c02c3f..97ba65304 100755 --- a/tools/banners.py +++ b/tools/banners.py @@ -6,7 +6,10 @@ for ext in ['jpg', 'png', 'gif']: banner = str(i) + '.' + ext req = urllib.request.Request('http://s.4cdn.org/image/title/' + banner, method='HEAD') try: - status = urllib.request.urlopen(req).status + try: + status = urllib.request.urlopen(req).status + except urllib.error.URLError: + status = urllib.request.urlopen(req).status except urllib.error.HTTPError as e: status = e.status print(banner, status) @@ -14,4 +17,3 @@ for ext in ['jpg', 'png', 'gif']: banners.append(banner) with open('src/Miscellaneous/banners.json', 'w') as f: f.write(json.dumps(banners)) -