Changeset 14063 in osm
- Timestamp:
- 2009-03-12T20:44:08+01:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSGrabber.java
r13673 r14063 16 16 import java.text.NumberFormat; 17 17 import java.util.Locale; 18 import java.util.concurrent.TimeUnit; 18 19 import java.util.regex.Matcher; 19 20 import java.util.regex.Pattern; … … 25 26 import org.openstreetmap.josm.data.Bounds; 26 27 import org.openstreetmap.josm.data.projection.Projection; 28 import org.openstreetmap.josm.gui.MapView; 27 29 import org.openstreetmap.josm.io.ProgressInputStream; 28 import org.openstreetmap.josm.gui.MapView;29 30 30 31 … … 119 120 120 121 HttpURLConnection conn = (HttpURLConnection) url.openConnection(); 122 conn.setConnectTimeout(Main.pref.getInteger("wmsplugin.timeout.connect", 30) * 1000); 123 conn.setReadTimeout(Main.pref.getInteger("wmsplugin.timeout.read", 30) * 1000); 121 124 122 125 String contentType = conn.getHeaderField("Content-Type");
Note:
See TracChangeset
for help on using the changeset viewer.