From 4177e7d40d5bf6725d66b032b75fcc5aefa02827 Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Wed, 4 Feb 2015 15:44:47 -0800 Subject: [PATCH] Remove one .bat file an add an optional argument to jake run (see README.md). --- Jakefile | 5 +++-- README.md | 3 ++- compile.bat | 6 ------ tdnode.bat | 1 - 4 files changed, 5 insertions(+), 10 deletions(-) delete mode 100644 compile.bat delete mode 100644 tdnode.bat diff --git a/Jakefile b/Jakefile index b42444d8..bd70dad3 100644 --- a/Jakefile +++ b/Jakefile @@ -267,14 +267,15 @@ task('test', [ 'nodeclient/client.js', 'default' ], { async: true }, function () jake.exec([ 'node nodeclient/client.js buildtest' ], {}, function() { complete(); }); }); -task('run', [ 'default' ], { async: true }, function () { +task('run', [ 'default' ], { async: true }, function (port) { + port = port || 80; // XXX fix this too console.log("[F] copying browser/browser.js to browser.js"); if (fs.exists("browser.js")) fs.unlink("browser.js"); fs.writeFileSync("browser.js", fs.readFileSync("browser/browser.js")); jake.exec( - [ 'node noderunner 80 silent ' ], + [ 'node noderunner '+port+' silent ' ], { printStdout: true, printStderr: true }, function() { complete(); } ); diff --git a/README.md b/README.md index a3b45288..71610bbc 100644 --- a/README.md +++ b/README.md @@ -72,10 +72,11 @@ Build: After building, you can run TouchDevelop from a local node server by running: jake run + # or, if port 80 is already used on your machine + jake run[8080] ## Tests - jake test ## Documentation diff --git a/compile.bat b/compile.bat deleted file mode 100644 index ac6fbb39..00000000 --- a/compile.bat +++ /dev/null @@ -1,6 +0,0 @@ -@echo off -setlocal -attrib -R browser.js -attrib -R main.js -cd build -"c:\Program Files\nodejs\node.exe" boot.js %* diff --git a/tdnode.bat b/tdnode.bat deleted file mode 100644 index e7f1586d..00000000 --- a/tdnode.bat +++ /dev/null @@ -1 +0,0 @@ -node noderunner.js 15669 slave