Merge pull request #7652 from xorbit/fix_soft_reboot_marker

dhalbert · dhalbert · commit 8f3e20ff960a · 2023-02-26T23:27:23.000-05:00
Fix print of "soft reboot" when the user presses ^D
diff --git a/main.c b/main.c
@@ -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

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