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 | |
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')
-rw-r--r-- | py/runtime.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/py/runtime.c b/py/runtime.c index e512b8b0d..c1e047813 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -129,6 +129,8 @@ void mp_init(void) { } void mp_deinit(void) { + MP_THREAD_GIL_EXIT(); + //mp_obj_dict_free(&dict_main); //mp_map_deinit(&MP_STATE_VM(mp_loaded_modules_map)); |