Changeset 9171 in josm for trunk/src/org/openstreetmap/josm/gui/download/PlaceSelection.java
- Timestamp:
- 2015-12-26T23:42:00+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/download/PlaceSelection.java
r9078 r9171 13 13 import java.awt.event.MouseEvent; 14 14 import java.io.IOException; 15 import java.io.InputStream;16 import java.io.InputStreamReader;17 15 import java.io.Reader; 18 import java.net.HttpURLConnection;19 16 import java.net.URL; 20 import java.nio.charset.StandardCharsets;21 17 import java.text.DecimalFormat; 22 18 import java.util.ArrayList; … … 57 53 import org.openstreetmap.josm.io.OsmTransferException; 58 54 import org.openstreetmap.josm.tools.GBC; 55 import org.openstreetmap.josm.tools.HttpClient; 59 56 import org.openstreetmap.josm.tools.ImageProvider; 60 57 import org.openstreetmap.josm.tools.OsmUrlToBounds; … … 328 325 329 326 private final String searchExpression; 330 private Http URLConnectionconnection;327 private HttpClient.Response connection; 331 328 private List<SearchResult> data; 332 329 private boolean canceled; … … 371 368 URL url = new URL(urlString); 372 369 synchronized (this) { 373 connection = Utils.openHttpConnection(url); 374 } 375 connection.setConnectTimeout(Main.pref.getInteger("socket.timeout.connect", 15)*1000); 376 try ( 377 InputStream inputStream = connection.getInputStream(); 378 Reader reader = new InputStreamReader(inputStream, StandardCharsets.UTF_8); 379 ) { 370 connection = HttpClient.create(url).connect(); 371 } 372 try (Reader reader = connection.getContentReader()) { 380 373 InputSource inputSource = new InputSource(reader); 381 374 NameFinderResultParser parser = new NameFinderResultParser();
Note:
See TracChangeset
for help on using the changeset viewer.
