| public static write_utf8string ( byte s, output_port p ) : Object | ||
| s | byte | |
| p | output_port | |
| return | Object | |
public static Object write_utf8string( byte[] s, output_port p )
{
p.write( ucs2_string_to_utf8_string( "#u\"" + foreign.newstring( s ) + "\"" ) );
return p;
}