[Bug 3714] New: Packed resources are stored in cache with double file extension

[bugzilla-daemon at icedtea.classpath.org]

https://icedtea.classpath.org/bugzilla/show_bug.cgi?id=3714

            Bug ID: 3714
           Summary: Packed resources are stored in cache with double file
                    extension
           Product: IcedTea-Web
           Version: hg
          Hardware: x86_64
                OS: FreeBSD
            Status: NEW
          Severity: minor
          Priority: P5
         Component: NetX (javaws)
          Assignee: jvanek at redhat.com
          Reporter: lhersch at dssgmbh.de
                CC: unassigned at icedtea.classpath.org

Created attachment 1729
  --> https://icedtea.classpath.org/bugzilla/attachment.cgi?id=1729&action=edit
described patch

With packed resources, the file extension pack.gz or gz is appended, regardless
of whether they already have it. I think you should save the resource with the
original filename, as with unpacked resources. There can be no naming conflicts
after unpacking, since different cache directories are used for the packed and
unpacked variants.
Enclosed a patch, which ensures exactly.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/distro-pkg-dev/attachments/20190328/22e0bea0/attachment-0001.html>