Make resources download timeout after 20 seconds instead of 2 minutes

Author: UnknownShadow200

fCraft/Network/HttpUtil.cs

@@ -68,6 +68,19 @@ public static HttpWebRequest CreateRequest([NotNull] Uri uri, TimeSpan timeout)
                 }
             }
             return req;
+        }        
+        
+        public static WebClient CreateWebClient(TimeSpan timeout) { 
+            return new CustomWebClient(timeout);
+        }
+        
+        class CustomWebClient : WebClient {
+            readonly TimeSpan timeout;
+            public CustomWebClient(TimeSpan timeout) { this.timeout = timeout; }
+            
+            protected override WebRequest GetWebRequest(Uri address) {
+                return CreateRequest(address, timeout);
+            }
         }
     }
 }

fCraft/System/Server.cs

@@ -481,13 +481,18 @@ static void DownloadResource(string url, string file) {
             if (File.Exists(file)) return;
 
             try {
-                new WebClient().DownloadFile(url, file);
-            } catch (WebException ex) {
-                WebResponse resp = ex.Response;
-                if (resp != null) resp.Close();
+                TimeSpan timeout = TimeSpan.FromSeconds(20);
+                using (WebClient c = HttpUtil.CreateWebClient(timeout)) {
+                    c.DownloadFile(url, file);
+                }
+            } catch (Exception ex) {
+                WebException webEx = ex as WebException;
+                if (webEx != null) {
+                    WebResponse resp = webEx.Response;
+                    if (resp != null) resp.Close();
+                }
 
-                Logger.Log(LogType.Warning, "Error downloading resource {0}: {1}",
-                           file, ex);
+                Logger.Log(LogType.Warning, "Error downloading resource {0}: {1}", file, ex);
             }
         }