Changeset 3828 in josm for trunk/src/org
- Timestamp:
- 2011-01-29T01:49:55+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/osm/User.java
r3776 r3828 109 109 relicensingUsers = new HashSet<Long>(); 110 110 try { 111 MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt" );111 MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt", 7200); 112 112 InputStreamReader r; 113 113 r = new InputStreamReader(stream);
Note:
See TracChangeset
for help on using the changeset viewer.