Merge pull request #7652 from xorbit/fix_soft_reboot_marker

Fix print of "soft reboot" when the user presses ^D
This commit is contained in:
Dan Halbert 2023-02-26 23:18:59 -05:00 committed by Dan Halbert
parent c7f485d7d6
commit 8f3e20ff96
1 changed files with 1 additions and 0 deletions

1
main.c
View File

@ -1012,6 +1012,7 @@ int __attribute__((used)) main(void) {
if (!simulate_reset) {
serial_write_compressed(translate("soft reboot\n"));
}
simulate_reset = false;
if (pyexec_mode_kind == PYEXEC_MODE_FRIENDLY_REPL) {
// If code.py did a fake deep sleep, pretend that we
// are running code.py for the first time after a hard