mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Commit 6d5597b070c7bedce15047c7c560249965cc0bfc introduced a guard against multiple concurrent operations. This guard also avoid any real serial monitor "open" during the compile+upload phase, but it didn't handle keyboard shortcuts. Fixes https://github.com/arduino/Arduino/issues/6015