>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:

Tom> I happened to look at java.util.prefs yesterday and I noticed some
Tom> problems.  This patch attempts to fix all of them (except for the
Tom> biggest problem, which is that we still only use the memory-based
Tom> provider).

I'm checking this in.

Tom> One thing I wasn't sure about is whether/how to get the new event
Tom> dispatch thread into an appropriate ThreadGroup.  Perhaps we ought to
Tom> have some private, classpath-internals thread group for daemon threads
Tom> like this?

I've punted on this problem for now.

Tom

Reply via email to