also flush fileystem on soft reboot from repl

1 files changed, 1 insertions, 0 deletions

diff --git a/main.c b/main.c
index 9b0da5f54..77498d7de 100755
--- 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();