Merge pull request #6806 from dhalbert/7.3.x-6751-backport

Backport to 7.3.x of 6751: Don't reload or enter repl when autoreloading
This commit is contained in:
Dan Halbert 2022-08-25 07:36:45 -04:00 committed by GitHub
commit 4276b06824
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
main.c
View File

@ -508,7 +508,7 @@ STATIC bool run_code_py(safe_mode_t safe_mode, bool first_run, bool *simulate_re
}
// If interrupted by keyboard, return
if (serial_connected() && serial_bytes_available()) {
if (serial_connected() && serial_bytes_available() && !autoreload_pending()) {
// Skip REPL if reload was requested.
skip_repl = serial_read() == CHAR_CTRL_D;
if (skip_repl) {