diff options
author | Damien George <damien.p.george@gmail.com> | 2014-01-25 00:18:30 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-01-25 00:18:30 +0000 |
commit | 0f5e8b151f2bfaec9c69c296d4fa0082de99e762 (patch) | |
tree | 9ecdfede99da8693b3a55ef98d10721f0de31a51 /py/runtime.c | |
parent | 7c9c667633d445e4df88868d630a0af4bc63d2f8 (diff) | |
parent | c1d200ef74c9a76a661cfbb3f2f73db992f0e272 (diff) | |
download | micropython-0f5e8b151f2bfaec9c69c296d4fa0082de99e762.tar.gz micropython-0f5e8b151f2bfaec9c69c296d4fa0082de99e762.zip |
Merge branch 'master' of github.com:micropython/micropython
Diffstat (limited to 'py/runtime.c')
-rw-r--r-- | py/runtime.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/py/runtime.c b/py/runtime.c index 976d23a6b9..8ad98d5f12 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -166,6 +166,7 @@ void rt_init(void) { mp_module_micropython_init(); + // TODO: wastes one mp_code_t structure in mem next_unique_code_id = 1; // 0 indicates "no code" unique_codes_alloc = 0; unique_codes = NULL; @@ -177,6 +178,9 @@ void rt_init(void) { void rt_deinit(void) { m_del(mp_code_t, unique_codes, unique_codes_alloc); + mp_map_free(map_globals); + mp_map_deinit(&map_loaded_modules); + mp_map_deinit(&map_builtins); #ifdef WRITE_CODE if (fp_write_code != NULL) { fclose(fp_write_code); |