diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-12-27 14:20:31 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-12-27 14:20:31 +1100 |
| commit | fa50047bbc25a2db53ef2c38b7735a4dedb23b21 (patch) | |
| tree | 2b64d24ae0579e56b2e9199c32c7c5fc153d0083 /py/repl.c | |
| parent | 7cd59c5bc3ed2d4ade54e73fae18985b4b46ee42 (diff) | |
py/runtime: Unlock the GIL in mp_deinit function.
This mirrors what is done in mp_init. Some RTOSs require this symmetry to
get back to a clean state (when doing a soft reset, for example).
Diffstat (limited to 'py/repl.c')
0 files changed, 0 insertions, 0 deletions