//print("write_char retunred:" + JSON.stringify(res) + ' ' +JSON.stringify(ret) );
- if (res != GLib.IOStatus.NORMAL) {
- throw "Write failed";
+ if (res != GLib.IOStatus.NORMAL) {
+ throw "Write failed";
}
//return ret.value;
return str.length;
string prop = (ch == this.out_ch) ? "output" : "stderr";
// print("prop: " + prop);
var _this = this;
+ string str_return;
-
//print(JSON.stringify(ch, null,4));
while (true) {
-
-
- var status = ch.read_line( str_return, );
+ 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) {