Shapira, Yoav wrote:
Hi,
Unfortunately, now that I've moved to Tomcat 5, I discover that the bug
is still quite present. There is now a nice getURI() method along with
the previous getURL() method. Unfortunately, getURLs() does not use
getURI( file ).toURL() or any such as it would need to for the RMI
runtime's sake (as it calls getURLs()).
The getURI method returns a URL object, not a URI object, as the latter
is JDK 1.4-only and we still officially support building and running on
JDK 1.3.
So getURI is essentially doing a file.toURI().toURL() anyway?
If so, can we just switch getURLs() to call getURI() rather than getURL()?
Or should we switch getURL() to call getURI after attempting to get the canonical file object (which is all it does apart from toURL(), whose results are broken as far as the RMI runtime is concerned)?
If need be, I can keep either of these patches in my own distribution, but I always like to see a single, consistent fix for everyone.
-- Jess Holle
