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 GitHub
commit dec3cfc955
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
main.c
View File

@ -1087,6 +1087,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