Changeset 14746 in josm for trunk/src/org/openstreetmap/josm/gui/layer/AutosaveTask.java
- Timestamp:
- 2019-01-27T22:26:35+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/AutosaveTask.java
r13852 r14746 10 10 import java.io.FileFilter; 11 11 import java.io.IOException; 12 import java.io.PrintStream;13 12 import java.lang.management.ManagementFactory; 14 13 import java.nio.charset.StandardCharsets; … … 16 15 import java.nio.file.Path; 17 16 import java.util.ArrayList; 17 import java.util.Collections; 18 18 import java.util.Date; 19 19 import java.util.Deque; … … 223 223 private static void createNewPidFile(File autosaveDir, String filename) { 224 224 File pidFile = new File(autosaveDir, filename+".pid"); 225 try (PrintStream ps = new PrintStream(pidFile, "UTF-8")) { 226 ps.println(ManagementFactory.getRuntimeMXBean().getName()); 225 try { 226 final String content = ManagementFactory.getRuntimeMXBean().getName(); 227 Files.write(pidFile.toPath(), Collections.singleton(content), StandardCharsets.UTF_8); 227 228 } catch (IOException | SecurityException t) { 228 229 Logging.error(t);
Note:
See TracChangeset
for help on using the changeset viewer.