a patch to java.util.Properties.java

Edouard G. Parmelan kaffe@rufus.w3.org
Tue, 10 Apr 2001 08:59:55 +0200


Ito Kazumitsu wrote:

> This is a patch to java.util.Properties.java, without which
> load(InputStream) goes into an infinite loop if end of file
> appears before '\n'.

Thanks, I will commit it in a near future.
-- 
Edouard G. Parmelan
http://egp.free.fr