diff options
| author | DavePutz <dwputz@gmail.com> | 2020-06-22 15:59:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-22 15:59:15 -0500 |
| commit | 65512cef1c278258f525422fe57271ffac6f51b0 (patch) | |
| tree | 7e95f92d02cc74b9be4ee609b816ab9616f5e917 | |
| parent | 182a8733a4acf356b848714c1f2e85190a27da0c (diff) | |
Update tick.c
| -rw-r--r-- | supervisor/shared/tick.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/supervisor/shared/tick.c b/supervisor/shared/tick.c index 3842b67d5..106ff53f8 100644 --- a/supervisor/shared/tick.c +++ b/supervisor/shared/tick.c @@ -104,13 +104,13 @@ void mp_hal_delay_ms(mp_uint_t delay) { // Check to see if we've been CTRL-Ced by autoreload or the user. if(MP_STATE_VM(mp_pending_exception) == MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_kbd_exception))) { - // clear exception and generate stacktrace + // clear exception and generate stacktrace MP_STATE_VM(mp_pending_exception) = MP_OBJ_NULL; nlr_raise(mp_obj_new_exception(&mp_type_KeyboardInterrupt)); } if( MP_STATE_VM(mp_pending_exception) == MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_reload_exception)) || WATCHDOG_EXCEPTION_CHECK()) { - // stop sleeping immediately + // stop sleeping immediately break; } remaining = end_tick - port_get_raw_ticks(NULL); |
