diff options
| author | Glenn Ruben Bakke <glennbakke@gmail.com> | 2017-04-09 17:45:32 +0200 |
|---|---|---|
| committer | Glenn Ruben Bakke <glennbakke@gmail.com> | 2017-04-09 17:45:32 +0200 |
| commit | 360243af92bd096522153521bce323f60bdb1b80 (patch) | |
| tree | e3b0e94099da7ce5e9d895e22e02435c61f205e0 /lib/utils | |
| parent | 5d06aa32609959115b496ac0e596438bfdbda038 (diff) | |
| parent | b87432b8fb8332548be11b63c9139065ce565f91 (diff) | |
Merge branch 'master' into nrf5_no_sdk
Diffstat (limited to 'lib/utils')
| -rw-r--r-- | lib/utils/interrupt_char.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/utils/interrupt_char.c b/lib/utils/interrupt_char.c index ab4efd911..344db88c7 100644 --- a/lib/utils/interrupt_char.c +++ b/lib/utils/interrupt_char.c @@ -46,4 +46,9 @@ void mp_keyboard_interrupt(void) { #else MP_STATE_VM(mp_pending_exception) = MP_STATE_PORT(mp_kbd_exception); #endif + #if MICROPY_ENABLE_SCHEDULER + if (MP_STATE_VM(sched_state) == MP_SCHED_IDLE) { + MP_STATE_VM(sched_state) = MP_SCHED_PENDING; + } + #endif } |