djsundog/circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rt_deinit(): Finalize some maps.

Browse Source
This commit is contained in:
Paul Sokolovsky 2014-01-25 00:04:14 +02:00
parent 9a24a0465f
commit c1d200ef74
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
py/runtime.c
View File

@ -165,6 +165,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;
@ -176,6 +177,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);