//print(JSON.stringify(ch, null,4));
while (true) {
- var buffer = new StringBuffer("");
-
+ string buffer;
+ size_t term_pos;
+ size_t len;
+ IOStatus status;
try {
- var status = ch.read_line( buffer, term_pos );
- | catch (Error e) {
+ status = ch.read_line( out buffer, out len, out term_pos );
+ } catch (Error e) {
//FIXme
break; // ??