Changeset 7315 in josm for trunk/src/org/openstreetmap/josm/data/validation/OsmValidator.java
- Timestamp:
- 2014-07-18T23:30:23+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/validation/OsmValidator.java
r7082 r7315 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 5 6 import java.io.BufferedReader;7 6 import java.io.File; 8 import java.io.FileInputStream;9 7 import java.io.FileNotFoundException; 10 8 import java.io.FileOutputStream; 11 9 import java.io.IOException; 12 import java.io.InputStreamReader;13 10 import java.io.OutputStreamWriter; 14 11 import java.io.PrintWriter; 15 12 import java.nio.charset.StandardCharsets; 13 import java.nio.file.Files; 14 import java.nio.file.Path; 15 import java.nio.file.Paths; 16 16 import java.util.ArrayList; 17 17 import java.util.Arrays; … … 170 170 ignoredErrors.clear(); 171 171 if (Main.pref.getBoolean(ValidatorPreference.PREF_USE_IGNORE, true)) { 172 File file = new File(getValidatorDir() + "ignorederrors"); 173 if (file.exists()) { 174 try (BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(file), StandardCharsets.UTF_8))) { 175 for (String line = in.readLine(); line != null; line = in.readLine()) { 176 ignoredErrors.add(line); 177 } 172 Path path = Paths.get(getValidatorDir() + "ignorederrors"); 173 if (Files.exists(path)) { 174 try { 175 ignoredErrors.addAll(Files.readAllLines(path, StandardCharsets.UTF_8)); 178 176 } catch (final FileNotFoundException e) { 179 177 Main.debug(Main.getErrorMessage(e));
Note:
See TracChangeset
for help on using the changeset viewer.
