ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity

Update Runtime-node.js

Browse Source
This commit is contained in:
Boro Sitnikovski 2019-03-21 14:58:15 +01:00 committed by GitHub
parent b07cac6e7e
commit 4418684cfb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
jsrts/Runtime-node.js
View File

@ -16,7 +16,7 @@ $JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) };
$JSRTS.prim_readStr = function () {
var ret = '';
var b = new Buffer(1024);
var b = Buffer.alloc(1024);
var i = 0;
while (true) {
$JSRTS.fs.readSync(0, b, i, 1)
@ -26,7 +26,7 @@ $JSRTS.prim_readStr = function () {
}
i++;
if (i == b.length) {
var nb = new Buffer(b.length * 2);
var nb = Buffer.alloc(b.length * 2);
b.copy(nb)
b = nb;
}
@ -37,4 +37,4 @@ $JSRTS.prim_readStr = function () {
$JSRTS.die = function (message) {
console.error(message);
process.exit(-1);
};
};