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

Question

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

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);