diff options
Diffstat (limited to 'shared')
| -rw-r--r-- | shared/runtime/pyexec.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shared/runtime/pyexec.c b/shared/runtime/pyexec.c index 428cc95b2..867bf58ab 100644 --- a/shared/runtime/pyexec.c +++ b/shared/runtime/pyexec.c @@ -178,6 +178,8 @@ static int parse_compile_execute(const void *source, mp_parse_input_kind_t input } else { ret = PYEXEC_NORMAL_EXIT; } + // Set PYEXEC_FORCED_EXIT flag so REPL knows to exit + ret |= PYEXEC_FORCED_EXIT; #else ret = PYEXEC_FORCED_EXIT; #endif |