Changeset 6316 in josm for trunk/src/org/openstreetmap/josm/io/imagery
- Timestamp:
- 2013-10-07T20:18:17+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/imagery/HTMLGrabber.java
r6248 r6316 9 9 import java.text.MessageFormat; 10 10 import java.util.ArrayList; 11 import java.util.List; 11 12 import java.util.StringTokenizer; 12 13 … … 32 33 Main.info("Grabbing HTML " + (attempt > 1? "(attempt " + attempt + ") ":"") + url); 33 34 34 ArrayList<String> cmdParams = new ArrayList<String>();35 List<String> cmdParams = new ArrayList<String>(); 35 36 StringTokenizer st = new StringTokenizer(MessageFormat.format(PROP_BROWSER.get(), urlstring)); 36 37 while (st.hasMoreTokens()) {
Note:
See TracChangeset
for help on using the changeset viewer.