fix(elan-dist): ZipArchive: don't create directories as files

leanprover · Apr 12, 2018 · 69e9887 · 69e9887
1 parent 4cabdfe
commit 69e9887
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/elan-dist/src/component/package.rs b/src/elan-dist/src/component/package.rs
@@ -176,6 +176,9 @@ impl<'a> ZipPackage<'a> {
     fn unpack_without_first_dir<R: Read + Seek>(archive: &mut ZipArchive<R>, path: &Path) -> Result<()> {
         for i in 0..archive.len() {
             let mut entry = archive.by_index(i).chain_err(|| ErrorKind::ExtractingPackage)?;
+            if entry.name().ends_with('/') {
+                continue // skip directories
+            }
             let relpath = PathBuf::from(entry.name());
             let mut components = relpath.components();
             // Throw away the first path component