BOJ: download broken
On 19/09/2018 download.py failed with
++ python3 download.py boj-source-data
Traceback (most recent call last):
File "download.py", line 79, in <module>
main()
File "download.py", line 73, in main
download_csv_zip(URLS['CGPI'], target_dir)
File "download.py", line 55, in download_csv_zip
zfile = zipfile.ZipFile(zipfd)
File "/usr/lib/python3.5/zipfile.py", line 1026, in __init__
self._RealGetContents()
File "/usr/lib/python3.5/zipfile.py", line 1094, in _RealGetContents
raise BadZipFile("File is not a zip file")
zipfile.BadZipFile: File is not a zip file
this seems to indicate a problem in getting the file. Such an error should trigger a re-try.