Changeset 12814 in josm
- Timestamp:
- 2017-09-10T12:57:18+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/FileWatcher.java
r12651 r12814 5 5 import java.io.IOException; 6 6 import java.nio.file.FileSystems; 7 import java.nio.file.Files; 7 8 import java.nio.file.Path; 8 9 import java.nio.file.StandardWatchEventKinds; … … 136 137 Path fullPath = ((Path) key.watchable()).resolve(filename); 137 138 139 try { 140 // Some filesystems fire two events when a file is modified. Skip first event (file is empty) 141 if (Files.size(fullPath) == 0) { 142 continue; 143 } 144 } catch (IOException ex) { 145 Logging.error(ex); 146 continue; 147 } 148 138 149 synchronized (this) { 139 150 StyleSource style = styleMap.get(fullPath);
Note:
See TracChangeset
for help on using the changeset viewer.