[get-boost] update WebClient call

jrl-umi3218 · Oct 28, 2024 · ddf0c98 · ddf0c98
1 parent 86e6230
commit ddf0c98
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/utils/get-boost.ps1 b/utils/get-boost.ps1
@@ -17,11 +17,9 @@ function DownloadFileWithRetry
     }
     try
     {
-      using (WebClient wc = new System.Net.WebClient())
-      {
-          wc.Headers.Add("User-Agent: Other"); 
-          wc.DownloadFile($Url, $Out);
-      }
+      WebClient wc = new System.Net.WebClient()
+      wc.Headers.Add("User-Agent: Other"); 
+      wc.DownloadFile($Url, $Out);
       break
     }
     catch