Changeset 9586 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2016-01-23T16:38:49+01:00 (8 years ago)

Author:

Don-vip

Message:

fix #12374 - compression option for autosave (patch by kolesar)

File:

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

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

@@ -159 +159 @@
             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");
+            File result = new File(autosaveDir, filename + "." + Main.pref.get("autosave.extension", "osm"));
             try {
                 if (result.createNewFile()) {