File.toUrl, is this a bug? the problem

[Marilen Corciovei]

Hi,

sorry I did not mentioned that earlyer. The File.toURL() and
URL.getFile() return the same results as in the sun jvm. I tested that
already. If compliancy is wanted then the changes could be done in the
FileInputStream.java class. (In the sun jvm there is a
FileSystem.normalize method called) maybe something similar is needed.

Thanks, Len

On Mon, 2003-04-14 at 21:14, Tom Tromey wrote:
> >>>>> "Marilen" == Marilen Corciovei <marilen.corciovei@nemesisit.ro> writes:
> 
> Marilen> - the File.toUrl() returns something like:
> Marilen> "file:/c:/thisiscool-gcc/examples/reflect/src/list" (java.io.File#779)
> Marilen> which is parsed at java.net.URL#331 after that the URL.getFile will
> Marilen> return "/c:/thisiscool-gcc/examples/reflect/src/list". From this point
> Marilen> all the problems begin.
> 
> So it sounds like a problem parsing the URL.
>
> Do you have another JVM available on your machine?  I'm curious what
> URL it comes up with.
> 
> Anyway, could you file a PR with your test case and the other
> information?
I will do that.

> Tom
Marilen Aretius Corciovei
Technical Manager, Nemesis IT
marilen.corciovei@nemesisit.ro
+40-721253015