From 2d5db66c17081619d17531a88197527654f6992d Mon Sep 17 00:00:00 2001 From: minjaesong Date: Fri, 27 Nov 2020 14:10:26 +0900 Subject: [PATCH] command.js: exit should work now --- assets/tvdos/bin/command.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/tvdos/bin/command.js b/assets/tvdos/bin/command.js index 0ee0310..8d4dec2 100644 --- a/assets/tvdos/bin/command.js +++ b/assets/tvdos/bin/command.js @@ -365,13 +365,13 @@ else { goInteractive = true; } +let cmdExit = false; if (goInteractive) { con.reset_graphics(); greet(); let cmdHistory = []; // zeroth element is the oldest let cmdHistoryScroll = 0; // 0 for outside-of-buffer, 1 for most recent - let cmdExit = false; while (!cmdExit) { con.reset_graphics(); print_prompt_text();