command.js: exit should work now

This commit is contained in:
minjaesong
2020-11-27 14:10:26 +09:00
parent c367b98537
commit 2d5db66c17

View File

@@ -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();