diff --git a/nrf5/main.c b/nrf5/main.c index eba42a4510..6621809bce 100644 --- a/nrf5/main.c +++ b/nrf5/main.c @@ -180,14 +180,21 @@ int main(int argc, char **argv) { // Main script is finished, so now go into REPL mode. // The REPL mode can change, or it can request a soft reset. + int ret_code = 0; + for (;;) { - if (pyexec_friendly_repl() != 0) { + ret_code = pyexec_friendly_repl(); + if (ret_code != 0) { break; } } mp_deinit(); + if (ret_code == PYEXEC_FORCED_EXIT) { + NVIC_SystemReset(); + } + return 0; }