Changeset 16426 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2020-05-16T20:59:34+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r16367 r16426 21 21 import java.util.HashMap; 22 22 import java.util.HashSet; 23 import java.util.Iterator;24 23 import java.util.List; 25 24 import java.util.Map; … … 43 42 import org.openstreetmap.josm.data.preferences.PreferencesWriter; 44 43 import org.openstreetmap.josm.gui.MainApplication; 45 import org.openstreetmap.josm.io.OfflineAccessException; 46 import org.openstreetmap.josm.io.OnlineResource; 44 import org.openstreetmap.josm.io.NetworkManager; 47 45 import org.openstreetmap.josm.spi.preferences.AbstractPreferences; 48 46 import org.openstreetmap.josm.spi.preferences.Config; … … 804 802 public Collection<String> getOnlinePluginSites() { 805 803 Collection<String> pluginSites = new ArrayList<>(getPluginSites()); 806 for (Iterator<String> it = pluginSites.iterator(); it.hasNext();) { 807 try { 808 OnlineResource.JOSM_WEBSITE.checkOfflineAccess(it.next(), Config.getUrls().getJOSMWebsite()); 809 } catch (OfflineAccessException ex) { 810 Logging.log(Logging.LEVEL_WARN, ex); 811 it.remove(); 812 } 813 } 804 pluginSites.removeIf(NetworkManager::isOffline); 814 805 return pluginSites; 815 806 }
Note:
See TracChangeset
for help on using the changeset viewer.