From b1ec10ed7818172b06feed4cf6d1bb317def97a2 Mon Sep 17 00:00:00 2001
From: andreacavalli <andrea@warp.ovh>
Date: Thu, 19 Mar 2020 00:55:18 +0100
Subject: [PATCH] Update 'scripting.js'

---
 scripting.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripting.js b/scripting.js
index 43c9aa4..6a6e780 100644
--- a/scripting.js
+++ b/scripting.js
@@ -43,8 +43,7 @@ function print(...text) {
 		process.stdout.write(text.join(" "));
 }
 function println(...text) {
-		print(text);
-        process.stdout.write("\n");
+        process.stdout.write(text.join(" ") + "\n");
 }
 
 const scriptPath = process.argv[2];