From a10e4fe21efd45596b82b50ffde98e8ec7e893c6 Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Sat, 16 Mar 2019 17:44:25 -0400
Subject: also flush fileystem on soft reboot from repl

---
 main.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'main.c')

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();
-- 
cgit v1.2.3