- Timestamp:
- 2013-03-31T21:39:37+02:00 (12 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Version.java
r5362 r5819 214 214 s += " SVN"; 215 215 } 216 return "JOSM/1.5 ("+ s+" "+LanguageInfo.getJOSMLocaleCode()+") ";216 return "JOSM/1.5 ("+ s+" "+LanguageInfo.getJOSMLocaleCode()+") " + System.getProperty("os.name"); 217 217 } 218 218 } -
trunk/src/org/openstreetmap/josm/io/imagery/WMSGrabber.java
r5587 r5819 51 51 props.put("Cookie", layer.getInfo().getCookies()); 52 52 } 53 props.put("User-Agent", Main.pref.get("imagery.wms.user_agent", Version.getInstance().getAgentString()));54 53 Pattern pattern = Pattern.compile("\\{header\\(([^,]+),([^}]+)\\)\\}"); 55 54 StringBuffer output = new StringBuffer(); -
trunk/src/org/openstreetmap/josm/tools/Utils.java
r5791 r5819 554 554 } 555 555 HttpURLConnection connection = (HttpURLConnection) httpURL.openConnection(); 556 connection.setRequestProperty("User-Agent", Version.getInstance().getAgentString());557 556 return connection; 558 557 }
Note:
See TracChangeset
for help on using the changeset viewer.