diff options
| author | Mikhail Zakharov <mikhail.zakharov@cognitivesystems.com> | 2019-01-02 10:05:17 -0500 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-01-27 12:38:23 +1100 |
| commit | f8c1be85d1d80fae4b71634a411ab354756c3bda (patch) | |
| tree | ba28dbf2239dadd7910b24dea8c4ee9d3d153516 /docs/esp32 | |
| parent | c7ed17bc4bb6127d7b6db841b453462f4ba96514 (diff) | |
unix/mpthreadport: Add thread deinit code to stop threads on exit.
Free unused memory for threads and cancel any outstanding threads on
interpreter exit to avoid possible segmentaiton fault.
Diffstat (limited to 'docs/esp32')
0 files changed, 0 insertions, 0 deletions