Merge pull request #6751 from tannewt/no_any_key_while_reloading

Don't reload or enter repl when autoreloading
This commit is contained in:
MicroDev 2022-08-13 15:22:50 +05:30 committed by GitHub
commit 5c184faa95
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
main.c
View File

@ -543,7 +543,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) {