GitHub API rate limit newline (#1894)

pull/1895/head
Glenn Jocher 2021-01-10 11:47:00 -08:00 committed by GitHub
parent d06ad3bc3d
commit 0f11aaf551
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -44,6 +44,7 @@ def attempt_download(file):
if not file.exists() or file.stat().st_size < 1E6: # check
file.unlink(missing_ok=True) # remove partial downloads
print(f'ERROR: Download failure: {msg}')
print('')
return