Add curl header to bypass suspected savannah throttling.

2024-01-10 17:46:15 +00:00 · 2024-01-10 17:46:15 +00:00 · 7a0f03678c
parent 5b7175de3e
commit 7a0f03678c
1 changed files with 2 additions and 1 deletions
--- a/lib/generator.py
+++ b/lib/generator.py
@ -294,7 +294,8 @@ this script the next time")

        # Actually download the file
        headers = {
-                "Accept-Encoding": "identity"
+                "Accept-Encoding": "identity",
+                "User-Agent": "curl/7.88.1"
        }
        if not os.path.isfile(abs_file_name):
            print(f"Downloading: {file_name}")