This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

java.util.Properties patch


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 > '~')
               {

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]