esp32/main: Don't call usocket_events_deinit if unavailable.

usocket_events_deinit will only be available if MICROPY_PY_USOCKET_EVENTS is enabled (which is only enabled when webrepl is enabled). Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
micropython · Dec 14, 2022 · 9bec52a · 9bec52a
1 parent 3a37390
commit 9bec52a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ports/esp32/main.c b/ports/esp32/main.c
@@ -215,7 +215,9 @@ void mp_task(void *pvParameter) {
     // TODO: machine_rmt_deinit_all();
     machine_pins_deinit();
     machine_deinit();
+    #if MICROPY_PY_USOCKET_EVENTS
     usocket_events_deinit();
+    #endif
 
     mp_deinit();
     fflush(stdout);