diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-02-16 18:05:06 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-20 15:20:26 +1100 |
| commit | 6e74d24f30bca3fb70876b1fb9a6b3a59850b83c (patch) | |
| tree | 391a713749edac08db0efc45e6ff987b2f437dc0 /lib | |
| parent | bf29fe2e138a30688cfb94ad3859f903f935ced1 (diff) | |
| download | micropython-6e74d24f30bca3fb70876b1fb9a6b3a59850b83c.tar.gz micropython-6e74d24f30bca3fb70876b1fb9a6b3a59850b83c.zip | |
py: Add micropython.schedule() function and associated runtime code.
Diffstat (limited to 'lib')
| -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 ab4efd9113..344db88c72 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 } |