diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-12-14 12:17:42 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2022-12-14 13:51:20 +1100 |
| commit | 9bec52a2f8371847e1d75fee84bf37a9b2876cd4 (patch) | |
| tree | a3f8d654c784cd9f7c0c843f91e53d70b5da742f | |
| parent | 3a3739037d8110c771fcd451c59fb900fe8c710e (diff) | |
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>
| -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); |