java - URL から xml をロードするときにタイムアウトを設定しますか?

Question

URL から直接 xml をロードするときにタイムアウトを設定することは可能ですか?

Builder parser = new Builder();
Document doc = parser.build("http://somehost");

これには数分かかる場合があり、ライブラリで直接タイムアウトできると非常に便利です。

Answer 1

build(String systemID) の代わりに build(InputStream inStream) API を使用する必要があります。

URL url = new URL("http://somehost");
con = url.openConnection();
con.setConnectTimeout(connectTimeout);
con.setReadTimeout(readTimeout);
inStream = con.getInputStream();
Builder parser = new Builder();
Document doc = parser.build(inStream);