summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavePutz <dwputz@gmail.com>2020-06-22 15:59:15 -0500
committerGitHub <noreply@github.com>2020-06-22 15:59:15 -0500
commit65512cef1c278258f525422fe57271ffac6f51b0 (patch)
tree7e95f92d02cc74b9be4ee609b816ab9616f5e917
parent182a8733a4acf356b848714c1f2e85190a27da0c (diff)
Update tick.c
-rw-r--r--supervisor/shared/tick.c4
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);