Make exit command work without readline.

2025-04-21 12:27:27 +03:00 · 2010-12-04 04:38:59 +03:00
parent db010b1855
commit 5cc2d7446f
1 changed files with 1 additions and 1 deletions
@@ -238,7 +238,7 @@ void shell_interactive() {
 #ifndef WITH_READLINE
 	char *line;

-	while(1) {
+	while(!shell_exit) {
 		fputs("jzboot> ", stdout);
 		fflush(stdout);