diff --git a/console/run.js b/console/run.js index 1c2a1efefdc3578755ddd0d46762b0c9d685c33f..f5b91599c998e865c64c6e97bcb0503ee57b0f23 100644 --- a/console/run.js +++ b/console/run.js @@ -8,12 +8,10 @@ var run_cmd = { }, run: function(argv) { - if (argv.length < 2) { + if (argv.length < 1) { return -1; } - argv.splice(0, 1); - var f = null; if (argv[0].indexOf("/") == 0) { f = File(argv[0]); @@ -37,6 +35,13 @@ var run_cmd = { }, invoke: function(inp) { + if (inp.length < 2) { + return; + } + + // ditch 'run' + inp.splice(0, 1); + rc = this.run(inp); if (rc < 0) { print("run: couldn't execute elf");