diff options
| author | DavePutz <dwputz@gmail.com> | 2020-06-19 12:38:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 12:38:55 -0500 |
| commit | beb80e75458168dd475f2153179bd786c867f380 (patch) | |
| tree | 9188ebe401c4872dc86609572eabd3d52cea24c6 | |
| parent | 99789289d8f2a1d6284caa8ae788ca530e7deb79 (diff) | |
removed trailing whitespace
| -rw-r--r-- | shared-module/time/__init__.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shared-module/time/__init__.c b/shared-module/time/__init__.c index dd232e755..559e224a3 100644 --- a/shared-module/time/__init__.c +++ b/shared-module/time/__init__.c @@ -48,7 +48,8 @@ void common_hal_time_delay_ms(uint32_t delay) { // if the delay was cut short by a CTRL-C then clear the keyboard exception if(MP_STATE_VM(mp_pending_exception) == MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_kbd_exception))) { - MP_STATE_VM (mp_pending_exception) = MP_OBJ_NULL; + // clear exception and generate stacktrace + MP_STATE_VM(mp_pending_exception) = MP_OBJ_NULL; nlr_raise(mp_obj_new_exception(&mp_type_KeyboardInterrupt)); } } |
