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