Merge branch 'master' into 'master'

Add timeout for Http request

The timeout of HttpURLConnection is 0, which means the request would never return if either connection or read timeouts, and the code would never catch these exceptions.

This patch set explicit timeout value (10s for connection timeout and 40s for read timeout), so the code would catch and handle timeout exceptions as you would expect.

Best,

See merge request !117

F-Droid/src/org/fdroid/fdroid/net/HttpDownloader.java

@@ -71,6 +71,8 @@ public class HttpDownloader extends Downloader {
         } else {
             connection = (HttpURLConnection) sourceUrl.openConnection();
         }
+        connection.setConnectTimeout(10000);
+        connection.setReadTimeout(40000);
     }
 
     protected void doDownload() throws IOException, InterruptedException {