Changeset 4026 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2011-04-15T21:25:08+02:00 (14 years ago)

Author:

stoecker

Message:

fix #6213 - license info wrong

File:

• trunk/src/org/openstreetmap/josm/data/osm/User.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/osm/User.java

@@ -110 +110 @@
     }
 
-    public static void loadRelicensingInformation() {
+    public static void initRelicensingInformation() {
+        if(relicensingUsers == null) {
+            loadRelicensingInformation(false);
+        }
+    }
+
+    public static void loadRelicensingInformation(boolean clean) {
         relicensingUsers = new HashSet<Long>();
         try {
             MirroredInputStream stream = new MirroredInputStream(Main.pref.get("url.licensechange",
-            "http://planet.openstreetmap.org/users_agreed/users_agreed.txt"), 7200);
+            "http://planet.openstreetmap.org/users_agreed/users_agreed.txt"), clean ? 1 : 7200);
             try {
                 InputStreamReader r;