[get-boost] add user-agent to dowload request header

jrl-umi3218 · Oct 28, 2024 · 2552438 · 2552438
1 parent 3b5eda9
commit 2552438
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/utils/get-boost.ps1 b/utils/get-boost.ps1
@@ -17,7 +17,11 @@ function DownloadFileWithRetry
     }
     try
     {
-      (New-Object System.Net.WebClient).DownloadFile($Url, $Out)
+      using (WebClient wc = new WebClient())
+      {
+          wc.Headers.Add("User-Agent: Other"); 
+          wc.DownloadFile($Url, $Out);
+      }
       break
     }
     catch
@@ -36,7 +40,7 @@ function DownloadFileWithRetry
     Get-FileHash $Out | Format-List
   }
 }
-$Url = "https://sourceforge.net/projects/boost/files/boost-binaries/1.83.0/boost_1_83_0-msvc-14.3-64.exe/download"
+$Url = "https://sourceforge.net/projects/boost/files/boost-binaries/1.83.0/boost_1_83_0-msvc-14.3-64.exe"
 $Out = "$env:TEMP\boost.exe"
 echo "$Out" 
 DownloadFileWithRetry -Url "$Url" -Out "$Out"