Changeset 7033 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2014-05-01T02:34:43+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r7027 r7033 11 11 import java.io.FileOutputStream; 12 12 import java.io.IOException; 13 import java.io.InputStream; 13 14 import java.io.InputStreamReader; 14 15 import java.io.OutputStreamWriter; … … 719 720 720 721 /** 721 * Called after every put. In case of a problem, do nothing but output the error 722 * in log. 722 * Called after every put. In case of a problem, do nothing but output the error in log. 723 723 */ 724 724 public void save() throws IOException { … … 736 736 } 737 737 738 finalPrintWriter out = new PrintWriter(new OutputStreamWriter(739 new FileOutputStream(prefFile + "_tmp"), Utils.UTF_8), false) ;740 out.print(toXML(false));741 Utils.close(out);738 try (PrintWriter out = new PrintWriter(new OutputStreamWriter( 739 new FileOutputStream(prefFile + "_tmp"), Utils.UTF_8), false)) { 740 out.print(toXML(false)); 741 } 742 742 743 743 File tmpFile = new File(prefFile + "_tmp"); … … 748 748 setCorrectPermissions(backupFile); 749 749 } 750 751 750 752 751 private void setCorrectPermissions(File file) { … … 761 760 settingsMap.clear(); 762 761 File pref = getPreferenceFile(); 763 BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(pref), Utils.UTF_8)); 764 try { 762 try (BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(pref), Utils.UTF_8))) { 765 763 validateXML(in); 766 Utils.close(in);767 in = new BufferedReader(new InputStreamReader(new FileInputStream(pref), Utils.UTF_8));764 } 765 try (BufferedReader in = new BufferedReader(new InputStreamReader(new FileInputStream(pref), Utils.UTF_8))) { 768 766 fromXML(in); 769 } finally {770 Utils.close(in);771 767 } 772 768 updateSystemProperties(); … … 1359 1355 public void validateXML(Reader in) throws Exception { 1360 1356 SchemaFactory factory = SchemaFactory.newInstance(XMLConstants.W3C_XML_SCHEMA_NS_URI); 1361 Schema schema = factory.newSchema(new StreamSource(new MirroredInputStream("resource://data/preferences.xsd"))); 1362 Validator validator = schema.newValidator(); 1363 validator.validate(new StreamSource(in)); 1357 try (InputStream xsdStream = new MirroredInputStream("resource://data/preferences.xsd")) { 1358 Schema schema = factory.newSchema(new StreamSource(xsdStream)); 1359 Validator validator = schema.newValidator(); 1360 validator.validate(new StreamSource(in)); 1361 } 1364 1362 } 1365 1363
Note:
See TracChangeset
for help on using the changeset viewer.