also flush fileystem on soft reboot from repl

2019-03-16 17:44:25 -04:00 · 2019-03-16 17:44:25 -04:00 · a10e4fe21e
commit a10e4fe21e
parent 43915133a1
1 changed files with 1 additions and 0 deletions
--- a/main.c
+++ b/main.c
@ -376,6 +376,7 @@ int run_repl(void) {
    } else {
        exit_code = pyexec_friendly_repl();
    }
    filesystem_flush();
    reset_port();
    reset_board();
    stop_mp();