diff options
| -rw-r--r-- | src/compiler/scala/tools/nsc/io/ZipArchive.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/io/ZipArchive.scala b/src/compiler/scala/tools/nsc/io/ZipArchive.scala index 97a8e0d5ec..3267163363 100644 --- a/src/compiler/scala/tools/nsc/io/ZipArchive.scala +++ b/src/compiler/scala/tools/nsc/io/ZipArchive.scala @@ -125,7 +125,10 @@ final class ZipArchive(file: File, val archive: ZipFile) extends PlainFile(file) val name = if (index < 0) path else path.substring(index + 1) val home = if (index < 0) "/" else path.substring(0, index + 1) val parent: DirEntry = getDir(dirs, home) - assert(!parent.entries.contains(path), this.toString() + " - " + path) + // OLD: assert(!parent.entries.contains(path)) + // MAYBE: assert(!parent.entries.contains(name)) + //if (parent.entries.contains(name)) + // Console.println("XXX: " + this.toString() + " - " + home + "/" + name) parent.entries.update(name, new FileEntry(parent, name, path, entry)) } } |