equal
deleted
inserted
replaced
44 } |
44 } |
45 |
45 |
46 override def getTextWriter(out: OutputStream): Writer = |
46 override def getTextWriter(out: OutputStream): Writer = |
47 { |
47 { |
48 val buffer = new ByteArrayOutputStream(BUFSIZE) { |
48 val buffer = new ByteArrayOutputStream(BUFSIZE) { |
49 override def flush() |
49 override def flush(): Unit = |
50 { |
50 { |
51 val text = Symbol.encode(toString(UTF8.charset_name)) |
51 val text = Symbol.encode(toString(UTF8.charset_name)) |
52 out.write(UTF8.bytes(text)) |
52 out.write(UTF8.bytes(text)) |
53 out.flush() |
53 out.flush() |
54 } |
54 } |
55 override def close() { out.close() } |
55 override def close(): Unit = out.close() |
56 } |
56 } |
57 new OutputStreamWriter(buffer, UTF8.charset.newEncoder()) |
57 new OutputStreamWriter(buffer, UTF8.charset.newEncoder()) |
58 } |
58 } |
59 } |
59 } |