Add a timeout to ResourceDownloader network connection code.

carlosame · carlosame · commit 03423c5a3615 · 2020-10-18T20:20:24.000+02:00
diff --git a/src/io/sf/carte/doc/agent/net/ResourceDownloader.java b/src/io/sf/carte/doc/agent/net/ResourceDownloader.java
@@ -150,6 +150,7 @@ protected InputStream openStream() throws IOException {
 		} else {
 			con = getURL().openConnection();
 		}
+		con.setConnectTimeout(60000);
 		contentType = con.getContentType();
 		return con.getInputStream();
 	}

Original file line number	Diff line number	Diff line change
`@@ -150,6 +150,7 @@ protected InputStream openStream() throws IOException {`
`150`	`150`	`} else {`
`151`	`151`	`con = getURL().openConnection();`
`152`	`152`	`}`
	`153`	`+ con.setConnectTimeout(60000);`
`153`	`154`	`contentType = con.getContentType();`
`154`	`155`	`return con.getInputStream();`
`155`	`156`	`}`