// print("prop: " + prop);
var _this = this;
string str_return;
-
+
//print(JSON.stringify(ch, null,4));
while (true) {
-
+ var buffer = new StringBuilder("");
+
try {
- var status = ch.read_line( buffer, term_pos );
- catch (Error e) {
+ var status = ch.read_line( buffer, out term_pos );
+ } catch (Error e) {
//FIXme
break; // ??