diff --git a/python/tools/scanner.py b/python/tools/scanner.py index baa001a9e8d5c2f805915656a3106f9d2a1b1191..21b820e317ab83d0dd5489fa01ffeed13aafd085 100755 --- a/python/tools/scanner.py +++ b/python/tools/scanner.py @@ -74,7 +74,7 @@ def check_dl(fname, url): if os.path.isfile(fname): return print('downloading', url) - ghandle = gzip.GzipFile(fileobj=http.request('GET', url, headers={'User-Agent': 'Mozilla/5.0'})) + ghandle = gzip.GzipFile(fileobj=http.request('GET', url, headers={'User-Agent': 'Mozilla/5.0'}, preload_content=False)) with open(fname, 'wb') as out: for line in ghandle: out.write(line)