Rank-Progress Changeset

Changeset - f16ea61e1ace

Parent rev.

Child rev.

[Not reviewed]

default

0 1 0

Laman - 3 years ago 2021-10-24 15:50:41

handled a URLError

1 file changed with 11 insertions and 1 deletions:

rank_progress.py

0 comments (0 inline, 0 general)

rank_progress.py

➞

Show inline comments

 import sys
 import re
 import io
 from itertools import groupby
 from datetime import datetime
 import shutil
 import argparse
 from zipfile import ZipFile
 import urllib.request
-from zipfile import ZipFile
+from urllib.error import URLError
 class Record:
@@ @@ -149,10 +151,18 @@ if __name__ == "__main__": @@
 	else:
 		url = "https://europeangodatabase.eu/EGD/EGD_2_0/downloads/hisgor.zip"
 		print("Downloading data from {} ...".format(url))
 		try:
 		with urllib.request.urlopen(url) as f:
 			compressed_data = f.read()
 			with ZipFile(io.BytesIO(compressed_data)) as g:
 				s = g.read("all.hst").decode("utf-8")
 		except URLError as e:
 			print(
 				"* Failed to connect to the server. "
 				"You can try again later or download {} and run the program with the -f parameter.\n"
 				"The error message:\n{}".format(url, e)
+			)
 			sys.exit(1)
 	print("Processing...")
 	main(s, since, to, args)

0 comments (0 inline, 0 general)