diff options
| author | Damien George | 2014-01-25 00:18:30 +0000 |
|---|---|---|
| committer | Damien George | 2014-01-25 00:18:30 +0000 |
| commit | 0f5e8b151f2bfaec9c69c296d4fa0082de99e762 (patch) | |
| tree | 9ecdfede99da8693b3a55ef98d10721f0de31a51 /py/runtime.c | |
| parent | 7c9c667633d445e4df88868d630a0af4bc63d2f8 (diff) | |
| parent | c1d200ef74c9a76a661cfbb3f2f73db992f0e272 (diff) | |
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 976d23a6b..8ad98d5f1 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); |
