diff options
Diffstat (limited to 'unix/main.c')
-rw-r--r-- | unix/main.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index da618d566..e7fce873b 100644 --- a/unix/main.c +++ b/unix/main.c @@ -176,7 +176,11 @@ STATIC int do_repl(void) { int ret = readline(&line, ">>> "); mp_parse_input_kind_t parse_input_kind = MP_PARSE_SINGLE_INPUT; - if (ret == CHAR_CTRL_D) { + if (ret == CHAR_CTRL_C) { + // cancel input + mp_hal_stdout_tx_str("\r\n"); + goto input_restart; + } else if (ret == CHAR_CTRL_D) { // EOF printf("\n"); mp_hal_stdio_mode_orig(); |