Changeset 7580 in josm

Timestamp:

2014-09-22T23:20:16+02:00 (10 years ago)

Author:

Don-vip

Message:

fix #7166 - include second and milliseconds in filename of autosaved deleted layers to avoid potential name collision

File:

• trunk/src/org/openstreetmap/josm/data/AutosaveTask.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/AutosaveTask.java

@@ -152 +152 @@
         Date now = new Date();
         while (true) {
-            String filename = String.format("%1$s_%2$tY%2$tm%2$td_%2$tH%2$tM%3$s", layer.layerFileName, now, index == 0?"":"_" + index);
+            String filename = String.format("%1$s_%2$tY%2$tm%2$td_%2$tH%2$tM%2$tS%2$tL%3$s", layer.layerFileName, now, index == 0?"":"_" + index);
             File result = new File(autosaveDir, filename+".osm");
             try {