Changeset 14741 in josm for trunk/src/org/openstreetmap/josm/io/session/SessionReader.java

Timestamp:

2019-01-27T18:58:32+01:00 (7 years ago)

Author:

simon04

Message:

see #16497 - revert r14725/r14724/r14723/r14718/r14630

Support for relative paths in .joz session file needs more testing.

File:

• trunk/src/org/openstreetmap/josm/io/session/SessionReader.java (modified) (9 diffs)

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

@@ -13 +13 @@
 import java.net.URI;
 import java.net.URISyntaxException;
-import java.nio.file.FileSystem;
-import java.nio.file.FileSystems;
+import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
-import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.Collections;
+import java.util.Enumeration;
 import java.util.HashMap;
 import java.util.List;
@@ -25 +24 @@
 import java.util.Map.Entry;
 import java.util.TreeMap;
-import java.util.stream.Stream;
+import java.util.zip.ZipEntry;
+import java.util.zip.ZipException;
+import java.util.zip.ZipFile;
 
 import javax.swing.JOptionPane;
@@ -150 +151 @@
     private static final Map<String, Class<? extends SessionLayerImporter>> sessionLayerImporters = new HashMap<>();
 
-    private Path sessionFile;
+    private URI sessionFileURI;
     private boolean zip; // true, if session file is a .joz file; false if it is a .jos file
-    private FileSystem zipFile;
+    private ZipFile zipFile;
     private List<Layer> layers = new ArrayList<>();
     private int active = -1;
@@ -307 +308 @@
                 }
             } else if (inZipPath != null) {
-                return Files.newInputStream(zipFile.getPath(inZipPath));
+                ZipEntry entry = zipFile.getEntry(inZipPath);
+                if (entry != null) {
+                    return zipFile.getInputStream(entry);
+                }
             }
             throw new IOException(tr("Unable to locate file  ''{0}''.", uriStr));
@@ -341 +345 @@
                                 // relative to session file - "../" step out of the archive
                                 String relPath = uri.getPath().substring(3);
-                                return sessionFile.resolveSibling(relPath).toFile();
+                                return new File(sessionFileURI.resolve(relPath));
                             } else {
                                 // file inside zip archive
@@ -348 +352 @@
                             }
                         } else
-                            return sessionFile.resolveSibling(uriStr).toFile();
+                            return new File(sessionFileURI.resolve(uri));
                     }
                 } else
@@ -700 +704 @@
     public void loadSession(File sessionFile, boolean zip, ProgressMonitor progressMonitor) throws IllegalDataException, IOException {
         try (InputStream josIS = createInputStream(sessionFile, zip)) {
-            loadSession(josIS, sessionFile.toPath(), zip, progressMonitor != null ? progressMonitor : NullProgressMonitor.INSTANCE);
+            loadSession(josIS, sessionFile.toURI(), zip, progressMonitor != null ? progressMonitor : NullProgressMonitor.INSTANCE);
         }
     }
@@ -707 +711 @@
         if (zip) {
             try {
-                // read zip using ZipFileSystem/ZipFileSystemProvider
-                zipFile = FileSystems.newFileSystem(new URI("jar:" + sessionFile.toURI()), Collections.emptyMap());
-                try (Stream<Path> content = Files.list(zipFile.getPath("/"))) {
-                    final Path jos = content
-                            .filter(path -> Utils.hasExtension(path.getFileName().toString(), "jos"))
-                            .findFirst()
-                            .orElseThrow(() -> new IllegalDataException(tr("expected .jos file inside .joz archive")));
-                    return Files.newInputStream(jos);
-                }
-            } catch (URISyntaxException e) {
-                throw new IOException(e);
+                zipFile = new ZipFile(sessionFile, StandardCharsets.UTF_8);
+                return getZipInputStream(zipFile);
+            } catch (ZipException ex) {
+                throw new IOException(ex);
             }
         } else {
@@ -724 +721 @@
     }
 
-    private void loadSession(InputStream josIS, Path sessionFile, boolean zip, ProgressMonitor progressMonitor)
+    private static InputStream getZipInputStream(ZipFile zipFile) throws IOException, IllegalDataException {
+        ZipEntry josEntry = null;
+        Enumeration<? extends ZipEntry> entries = zipFile.entries();
+        while (entries.hasMoreElements()) {
+            ZipEntry entry = entries.nextElement();
+            if (Utils.hasExtension(entry.getName(), "jos")) {
+                josEntry = entry;
+                break;
+            }
+        }
+        if (josEntry == null) {
+            error(tr("expected .jos file inside .joz archive"));
+        }
+        return zipFile.getInputStream(josEntry);
+    }
+
+    private void loadSession(InputStream josIS, URI sessionFileURI, boolean zip, ProgressMonitor progressMonitor)
             throws IOException, IllegalDataException {
 
-        this.sessionFile = sessionFile;
+        this.sessionFileURI = sessionFileURI;
         this.zip = zip;