Update 'scripting.js'

This commit is contained in:
andreacavalli 2020-03-19 00:54:26 +01:00
parent 2a2522e510
commit 8545a535a1

View File

@ -43,7 +43,8 @@ function print(...text) {
process.stdout.write(text.join(" ")); process.stdout.write(text.join(" "));
} }
function println(...text) { function println(...text) {
print(text) + process.stdout.write("\n"); print(text);
process.stdout.write("\n");
} }
const scriptPath = process.argv[2]; const scriptPath = process.argv[2];