Re: kaffe/io/ConverterAlias.java and Default

2000-02-03 Thread Marcus G. Daniels


 "AC" == Archie Cobbs [EMAIL PROTECTED] writes:

AC It should match "Default" case-insensitively.. no?  

Ok, I see there is still a name.toUpperCase call in the alias method.
I must have had .class files out-of-sync, and was jumping to conclusions. 

Sorry for the false alarm.



Re: kaffe/io/ConverterAlias.java and Default

2000-02-03 Thread Archie Cobbs


Marcus G. Daniels writes:
 AC It should match "Default" case-insensitively.. no?  
 
 Ok, I see there is still a name.toUpperCase call in the alias method.
 I must have had .class files out-of-sync, and was jumping to conclusions. 

Yeah, I didn't rebuild Klasses.jar after that change.
Let me know if you find any more problems with it.

-Archie

___
Archie Cobbs   *   Whistle Communications, Inc.  *   http://www.whistle.com



Re: kaffe/io/ConverterAlias.java and Default

2000-02-02 Thread Marcus G. Daniels


 "AC" == Archie Cobbs [EMAIL PROTECTED] writes:

AC I fixed this a slightly different way. Let me know if you have any
AC problems.

I don't think that's quite right, because the file.encoding property is 
"Default", not "DEFAULT".



Re: kaffe/io/ConverterAlias.java and Default

2000-01-31 Thread Archie Cobbs


Marcus G. Daniels writes:
 It appears that the "Default" charset alias isn't handled in the right way.
 I see there's a class CharToByteDefault, but the alias method
 forces the name to upper case.  (A result of this is that unicode.tbl
 file isn't located in the right way with Cygwin.)
 
 diff -c -r1.7 ConverterAlias.java
 *** libraries/javalib/kaffe/io/ConverterAlias.java1999/10/25 17:31:26 1.7
 --- libraries/javalib/kaffe/io/ConverterAlias.java2000/01/30 21:34:31
 ***
 *** 47,53 
* @return alias if found, name if not.
*/
   static String alias(String name) {
 ! name = name.toUpperCase();
   String alternate = (String)alias.get(name);
   if (alternate == null) {
   return (name);
 --- 47,54 
* @return alias if found, name if not.
*/
   static String alias(String name) {
 ! if (!name.equals ("Default"))
 ! name = name.toUpperCase();
   String alternate = (String)alias.get(name);
   if (alternate == null) {
   return (name);

I fixed this a slightly different way. Let me know if you have
any problems.

-Archie

___
Archie Cobbs   *   Whistle Communications, Inc.  *   http://www.whistle.com