diff options
Diffstat (limited to 'stmhal/main.c')
-rw-r--r-- | stmhal/main.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/stmhal/main.c b/stmhal/main.c index 0a70512692..4aa668a13a 100644 --- a/stmhal/main.c +++ b/stmhal/main.c @@ -446,7 +446,19 @@ soft_reset: #endif #endif - pyexec_repl(); + // enter REPL + // REPL mode can change, or it can request a soft reset + for (;;) { + if (pyexec_mode_kind == PYEXEC_MODE_RAW_REPL) { + if (pyexec_raw_repl() != 0) { + break; + } + } else { + if (pyexec_friendly_repl() != 0) { + break; + } + } + } printf("PYB: sync filesystems\n"); storage_flush(); |