diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-02-07 12:50:57 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-02-07 16:08:33 +1100 |
| commit | 046ae80bdfc3bf4f278f3cc0fb29dc82ad91ec33 (patch) | |
| tree | 41c926ee2a57d54967ec2745c84d5837479a0b70 /tests/float/float1.py | |
| parent | abe2caf6df4cc98e540d9c05b4f2bce14cdedfa4 (diff) | |
unix, windows: Use mp_keyboard_interrupt instead of custom code.
The mp_keyboard_interrupt() function does exactly what is needed here, and
using it gets ctrl-C working when MICROPY_ENABLE_SCHEDULER is enabled on
these ports (and MICROPY_ASYNC_KBD_INTR is disabled).
Diffstat (limited to 'tests/float/float1.py')
0 files changed, 0 insertions, 0 deletions