This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: java.net.URL: caching protocol handlers
- From: Tom Tromey <tromey at redhat dot com>
- To: Michael Koch <konqueror at gmx dot de>
- Cc: java-patches at gcc dot gnu dot org
- Date: 23 Jul 2003 14:39:10 -0600
- Subject: Re: Patch: java.net.URL: caching protocol handlers
- References: <200307201213.51908.konqueror@gmx.de>
- Reply-to: tromey at redhat dot com
>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:
Michael> I have written two patches (attached) to merge some classpath
Michael> ability to libgcj. It introduces the
Michael> gnu.java.net.nocache_protocol_handlers property. This
Michael> property allows it to disable caching of protocol handlers in
Michael> java.net.URL.
Michael> + (cache_handlers): New member variable.
This field is set but never used.
I think that should be addressed before the patch goes in.
The idea is fine, though. The doc patch is fine.
So just make the URL.java change and this is ok.
Tom