@@ -10,14 +10,20 @@ var i$getLine = (function() {
11 return function() {
11 return function() {
12 var ret = "";
12 var ret = "";
13−
13+ var b = new Buffer(1024);
14 while(true) {
15 while(true) {
15− var b = new Buffer(1);
16− fs.readSync(0, b, 0, 1 )
16+ fs.readSync(0, b, i, 1 )
17− if (b[0] == 10)
17+ if (b[i] == 10) {
18+ ret = b.toString('utf8', 0, i);
20− ret += String.fromCharCode(b[0]);
21+ i++;
23+ nb = new Buffer (b.length*2);
23 return ret;
29 return ret;