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 /docs/esp32/tutorial/peripheral_access.rst | |
| 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>
Diffstat (limited to 'docs/esp32/tutorial/peripheral_access.rst')
0 files changed, 0 insertions, 0 deletions