summaryrefslogtreecommitdiff
path: root/py
diff options
context:
space:
mode:
authorDamien George <damien.p.george@gmail.com>2018-12-27 14:20:31 +1100
committerDamien George <damien.p.george@gmail.com>2018-12-27 14:20:31 +1100
commitfa50047bbc25a2db53ef2c38b7735a4dedb23b21 (patch)
tree2b64d24ae0579e56b2e9199c32c7c5fc153d0083 /py
parent7cd59c5bc3ed2d4ade54e73fae18985b4b46ee42 (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.c2
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));