Re: [cp-patches] RFC: java/io/PrintStream.java: Handling of an invalid file.encoding

[Ito Kazumitsu]

From: Tom Tromey <address@hidden>
Date: 14 Nov 2005 10:41:57 -0700

> >>>>> "Ito" == Ito Kazumitsu <address@hidden> writes:
> 
> Ito> I think an invalid value of file.encoding should be treated as if
> Ito> it were "ISO-8859-1". Such is the behaviour of Sun's JDK.
> 
> Perhaps we should check this once at startup, instead of every time in
> PrintStream?  I'm thinking that we use file.encoding in a number of
> places, and adding this check to each one seems like a pain.

I will withdraw the proposed patch. Let's not touch the handling
of file.encoding.  The reason is described in Comment #6 of
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22948