File.toUrl, is this a bug? the problem

Tue Apr 15 00:45:00 GMT 2003

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