source: josm/trunk/src/org/openstreetmap/josm/io/OsmGzipExporter.java@ 9613

Last change on this file since 9613 was 9537, checked in by bastiK, 8 years ago

applied #12370 - adapted osm file filter to other file types (patch by kolesar)

  • Property svn:eol-style set to native
File size: 604 bytes
Line 
1// License: GPL. For details, see LICENSE file.
2package org.openstreetmap.josm.io;
3
4import static org.openstreetmap.josm.tools.I18n.tr;
5
6import org.openstreetmap.josm.actions.ExtensionFileFilter;
7
8/**
9 * OSM data exporter that compresses it in GZip format.
10 */
11public class OsmGzipExporter extends OsmExporter {
12
13 /**
14 * Constructs a new {@code OsmGzipExporter}.
15 */
16 public OsmGzipExporter() {
17 super(new ExtensionFileFilter(
18 "osm.gz", "osm.gz", tr("OSM Server Files gzip compressed") + " (*.osm.gz)"));
19 }
20
21 // compression handling is performed in super-class
22
23}
Note: See TracBrowser for help on using the repository browser.