This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
java.util.Properties patch
- From: Mark Wielaard <mark at klomp dot org>
- To: java-patches at gcc dot gnu dot org
- Date: 25 Dec 2002 00:34:34 +0100
- Subject: java.util.Properties patch
- Organization:
Hi,
Keys and values of properties file were not correctly escaped since
after excaping the escaped character was written twice.
2002-12-24 Mark Wielaard <mark@klomp.org>
* java/util/Properties.java (formatForOutput): Don't fall
through to default case after escaping character.
This is another patch to make Eclipse run better under gij. Now it is
possible to restart Eclipse and get all your preferences back.
OK to commit to mainline and branch?
Cheers,
Mark
--- java/util/Properties.java.orig 2002-12-24 23:50:13.000000000 +0100
+++ java/util/Properties.java 2002-12-24 23:51:16.000000000 +0100
@@ -540,6 +540,7 @@
case '=':
case ':':
buffer.append('\\').append(c);
+ break;
default:
if (c < ' ' || c > '~')
{