- From: Julian Reschke <julian.reschke@gmx.de>
- Date: Wed, 18 May 2005 14:12:47 +0200
- To: Graham Klyne <gk@ninebynine.org>
- CC: uri@w3.org
Graham Klyne wrote:
> ...
> if ( !Character.isLetterOrDigit(c) && uriChars.indexOf(c) <
> 0 )
> { // %-encode non-URI and other special characters
> String hv = ("0"+Integer.toHexString(c)) ;
> int lv = hv.length() ;
> mapfilename.replace( i, i, "%"+hv.substring(lv-2,lv-1) ) ;
> i += 3 ;
> }
> }
> ...
How is this supposed to work with non-ASCII characters, in particular
with character points above 255?
Best regards, Julian
Received on Wednesday, 18 May 2005 12:16:20 UTC