Ticket #12448: SessionReadCompressedFile.patch

File SessionReadCompressedFile.patch, 1.2 KB (added by kolesar, 8 years ago)

  • src/org/openstreetmap/josm/io/session/SessionReader.java 

    diff --git a/src/org/openstreetmap/josm/io/session/SessionReader.java b/src/org/openstreetmap/josm/io/session/SessionReader.java
index e657239..c760f29 100644
    a b import org.openstreetmap.josm.gui.ExtendedDialog; 
    4242import org.openstreetmap.josm.gui.layer.Layer;
    4343import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
    4444import org.openstreetmap.josm.gui.progress.ProgressMonitor;
     45import org.openstreetmap.josm.io.Compression;
    4546import org.openstreetmap.josm.io.IllegalDataException;
    4647import org.openstreetmap.josm.tools.MultiMap;
    4748import org.openstreetmap.josm.tools.Utils;
    … … public class SessionReader { 
    201202            File file = getFile(uriStr);
    202203            if (file != null) {
    203204                try {
    204                     return new BufferedInputStream(new FileInputStream(file));
     205                    return new BufferedInputStream(Compression.getUncompressedFileInputStream(file));
    205206                } catch (FileNotFoundException e) {
    206207                    throw new IOException(tr("File ''{0}'' does not exist.", file.getPath()), e);
    207208                }