[rfc][icedtea-web] Fix for PR1011, folders in archive tag

[Omair Majid]

Hi Pavel,

On 05/30/2012 07:30 AM, Pavel Tisnovsky wrote:
> +            if (archiveEntry.endsWith("/")){
> I'm really not sure what separator is used in if it is not better to use File.pathSeparator instead of "/"
> - do we have any JAR created on Windows? ;-)

This is part of the archive attribute on a web page:

<applet ..... archive="foo.jar,bar/" ... />
                              ----^

Do any webservers use "\" for directories? I think "/" is the right thing.

Cheers,
Omair