Changeset 4025 in josm


Ignore:
Timestamp:
2011-04-15T21:09:55+02:00 (13 years ago)
Author:
stoecker
Message:

see #6213 - improve error handling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/osm/User.java

    r3828 r4025  
    22package org.openstreetmap.josm.data.osm;
    33
     4import java.io.BufferedReader;
     5import java.io.InputStreamReader;
     6import java.io.IOException;
     7
    48import java.util.ArrayList;
     9import java.util.concurrent.atomic.AtomicLong;
    510import java.util.HashMap;
    611import java.util.HashSet;
    712import java.util.List;
    8 import java.util.concurrent.atomic.AtomicLong;
     13
     14import org.openstreetmap.josm.Main;
    915import org.openstreetmap.josm.io.MirroredInputStream;
    10 import java.io.InputStreamReader;
    11 import java.io.BufferedReader;
    1216
    1317/**
     
    109113        relicensingUsers = new HashSet<Long>();
    110114        try {
    111         MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt", 7200);
    112         InputStreamReader r;
    113         r = new InputStreamReader(stream);
    114         BufferedReader reader = new BufferedReader(r);
    115         String line;
    116         while ((line = reader.readLine()) != null) {
    117             if (line.startsWith("#")) continue;
     115            MirroredInputStream stream = new MirroredInputStream(Main.pref.get("url.licensechange",
     116            "http://planet.openstreetmap.org/users_agreed/users_agreed.txt"), 7200);
    118117            try {
    119                 relicensingUsers.add(new Long(Long.parseLong(line.trim())));
    120             } catch (java.lang.NumberFormatException ex) {
     118                InputStreamReader r;
     119                r = new InputStreamReader(stream);
     120                BufferedReader reader = new BufferedReader(r);
     121                String line;
     122                while ((line = reader.readLine()) != null) {
     123                    if (line.startsWith("#")) continue;
     124                    try {
     125                        relicensingUsers.add(new Long(Long.parseLong(line.trim())));
     126                    } catch (java.lang.NumberFormatException ex) {
     127                    }
     128                }
    121129            }
    122         }
    123         stream.close();
    124         } catch (java.io.IOException ex) {
     130            finally {
     131                stream.close();
     132            }
     133        } catch (IOException ex) {
    125134        }
    126135    }
Note: See TracChangeset for help on using the changeset viewer.