git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4677 from bor0/patch-1
268db5dNiklas Larsson
jsrts/Runtime-node.js+3−3
compare with master
unifiedsplit
@@ -16,7 +16,7 @@ $JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) };
16
16
17$JSRTS.prim_readStr = function () {
17$JSRTS.prim_readStr = function () {
18 var ret = '';
18 var ret = '';
19− var b = new Buffer(1024);
19+ var b = Buffer.alloc(1024);
20 var i = 0;
20 var i = 0;
21 while (true) {
21 while (true) {
22 $JSRTS.fs.readSync(0, b, i, 1)
22 $JSRTS.fs.readSync(0, b, i, 1)
@@ -26,7 +26,7 @@ $JSRTS.prim_readStr = function () {
26 }
26 }
27 i++;
27 i++;
28 if (i == b.length) {
28 if (i == b.length) {
29− var nb = new Buffer(b.length * 2);
29+ var nb = Buffer.alloc(b.length * 2);
30 b.copy(nb)
30 b.copy(nb)
31 b = nb;
31 b = nb;
32 }
32 }
@@ -37,4 +37,4 @@ $JSRTS.prim_readStr = function () {
37$JSRTS.die = function (message) {
37$JSRTS.die = function (message) {
38 console.error(message);
38 console.error(message);
39 process.exit(-1);
39 process.exit(-1);
40−};
40+};