Merge remote-tracking branch 'origin/main'

2021-11-23 19:32:54 +01:00 · 2021-11-23 19:32:54 +01:00 · 4e8a1ee2c6
commit 4e8a1ee2c6
parent 39eefc62f5 af2ac0aa60
1 changed files with 5 additions and 1 deletions
--- a/main.c
+++ b/main.c
@ -858,7 +858,11 @@ int __attribute__((used)) main(void) {
                serial_write_compressed(translate("soft reboot\n"));
            }
            first_run = false;
-            skip_repl = run_code_py(safe_mode);
+            if (pyexec_mode_kind == PYEXEC_MODE_FRIENDLY_REPL) {
+                skip_repl = run_code_py(safe_mode);
+            } else {
+                skip_repl = false;
+            }
        } else if (exit_code != 0) {
            break;
        }