mirrors/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity.git synced 2025-01-22 09:21:57 -05:00
Code Issues Projects Releases Packages Wiki Activity

Meta: Add User-Agent string on request for download_file

Browse source
This commit is contained in:
Eduardo HCS 2024-12-31 17:02:14 -04:00 committed by Nico Weber
parent c74f659ebd
commit e6099bea77
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Meta/download_file.py
View file

@ -74,7 +74,10 @@ def main():
os.makedirs(output_file.parent, exist_ok=True)
request = urllib.request.Request(args.url, headers={"Accept-Encoding": "gzip"})
request = urllib.request.Request(args.url, headers={
"Accept-Encoding": "gzip",
"User-Agent": "Serenity Meta/download_file.py",
})
with urllib.request.urlopen(request) as f:
try:
with tempfile.NamedTemporaryFile(delete=False, dir=output_file.parent) as out: