From mboxrd@z Thu Jan  1 00:00:00 1970
From: Tom Tromey <tromey@redhat.com>
To: green@cygnus.com
Cc: java@gcc.gnu.org, rhug-rhats@sources.redhat.com
Subject: Re: File.toURL() problem
Date: Tue, 11 Sep 2001 17:22:00 -0000
Message-id: <873d5tdz4q.fsf@creche.redhat.com>
References: <200109110537.WAA17014@fencer.cygnus.com>
X-SW-Source: 2001-09/msg00024.html

>>>>> "Anthony" == Anthony Green <green@redhat.com> writes:

Anthony> xsltc contains 
Anthony>       (new File(stylesheetName)).toURL()
Anthony> which for the JDK returns "file:myname", but for gcj returns
Anthony> "file:/myname".

The online docs say the return value is system-dependent.
However I think they mean OS-dependent and not VM implementation.

My JDK 1.2 installation returns `file:/tmp/myname' (when run in /tmp).
Classpath looks like it would return `file:///tmp/myname'.

Sigh.  `file:' URLs suck, since everybody gets confused about leading
`/'s.

Anyway, I agree we have a bug.  The URL we return is clearly not
correct.  I've added this to my (stunningly long) to-do list.

Tom