diff options
| author | stijn <stinos@zoho.com> | 2014-05-08 10:56:33 +0200 |
|---|---|---|
| committer | stijn <stinos@zoho.com> | 2014-05-09 13:58:15 +0200 |
| commit | 5ed284a15e028e0435f3b6e0773e14225d8f165d (patch) | |
| tree | b83683ee2d84e423cc00cf630ebb688430a119c4 /py/runtime.c | |
| parent | d25cba4f642e50e2f713b48f5f079036b352f72d (diff) | |
| download | micropython-5ed284a15e028e0435f3b6e0773e14225d8f165d.tar.gz micropython-5ed284a15e028e0435f3b6e0773e14225d8f165d.zip | |
windows: Add modtime implementation
Diffstat (limited to 'py/runtime.c')
| -rw-r--r-- | py/runtime.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/py/runtime.c b/py/runtime.c index 7a701fec57..f8eac40609 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -91,6 +91,11 @@ void mp_deinit(void) { //mp_obj_dict_free(&dict_main); mp_module_deinit(); mp_emit_glue_deinit(); + + // call port specific deinitialization if any +#ifdef MICROPY_PORT_INIT_FUNC + MICROPY_PORT_DEINIT_FUNC; +#endif } mp_obj_t mp_load_const_dec(qstr qstr) { |