also flush fileystem on soft reboot from repl

dhalbert · dhalbert · commit a10e4fe21efd · 2019-03-16T17:44:25.000-04:00
diff --git 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();

Original file line number	Diff line number	Diff line change
`@@ -376,6 +376,7 @@ int run_repl(void) {`
`376`	`376`	`} else {`
`377`	`377`	`exit_code = pyexec_friendly_repl();`
`378`	`378`	`}`
	`379`	`+ filesystem_flush();`
`379`	`380`	`reset_port();`
`380`	`381`	`reset_board();`
`381`	`382`	`stop_mp();`