Fix interrupting input() (#103)

Handle pending KeyboardInterrupt. Closes #100
microbit-foundation · Apr 5, 2023 · 5e619dd · 5e619dd
1 parent a3e92f7
commit 5e619dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/mphalport.c b/src/mphalport.c
@@ -25,6 +25,7 @@ int mp_hal_stdin_rx_chr(void) {
         if (c != -1) {
             return c;
         }
+        mp_handle_pending(true);
         microbit_hal_idle();
     }
 }