diff options
| -rw-r--r-- | ports/esp32/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/esp32/main.c b/ports/esp32/main.c index c543c5b64..e2a803fcb 100644 --- a/ports/esp32/main.c +++ b/ports/esp32/main.c @@ -215,7 +215,9 @@ soft_reset_exit: // TODO: machine_rmt_deinit_all(); machine_pins_deinit(); machine_deinit(); + #if MICROPY_PY_USOCKET_EVENTS usocket_events_deinit(); + #endif mp_deinit(); fflush(stdout); |
