equal
deleted
inserted
replaced
17 /* charset */ |
17 /* charset */ |
18 |
18 |
19 val charset_name: String = "UTF-8" |
19 val charset_name: String = "UTF-8" |
20 val charset: Charset = Charset.forName(charset_name) |
20 val charset: Charset = Charset.forName(charset_name) |
21 def codec(): Codec = Codec(charset) |
21 def codec(): Codec = Codec(charset) |
22 |
|
23 def string_bytes(s: String): Array[Byte] = s.getBytes(charset) |
|
24 |
22 |
25 |
23 |
26 /* permissive UTF-8 decoding */ |
24 /* permissive UTF-8 decoding */ |
27 |
25 |
28 // see also http://en.wikipedia.org/wiki/UTF-8#Description |
26 // see also http://en.wikipedia.org/wiki/UTF-8#Description |