ports: Call gc_sweep_all() when doing a soft reset.

dpgeorge · dpgeorge · commit b2fa1b50edae · 2018-06-12T11:56:25.000+10:00
This calls finalisers of things like files and sockets to cleanly close
them.
diff --git a/ports/esp32/main.c b/ports/esp32/main.c
@@ -116,6 +116,8 @@ void mp_task(void *pvParameter) {
     mp_thread_deinit();
     #endif
 
+    gc_sweep_all();
+
     mp_hal_stdout_tx_str("PYB: soft reboot\r\n");
 
     // deinitialise peripherals
diff --git a/ports/esp8266/main.c b/ports/esp8266/main.c
@@ -88,6 +88,7 @@ STATIC void mp_reset(void) {
 }
 
 void soft_reset(void) {
+    gc_sweep_all();
     mp_hal_stdout_tx_str("PYB: soft reboot\r\n");
     mp_hal_delay_us(10000); // allow UART to flush output
     mp_reset();
diff --git a/ports/stm32/main.c b/ports/stm32/main.c
@@ -756,5 +756,7 @@ void stm32_main(uint32_t reset_mode) {
     pyb_thread_deinit();
     #endif
 
+    gc_sweep_all();
+
     goto soft_reset;
 }
diff --git a/ports/unix/main.c b/ports/unix/main.c
@@ -647,6 +647,10 @@ MP_NOINLINE int main_(int argc, char **argv) {
     }
     #endif
 
+    #if defined(MICROPY_UNIX_COVERAGE)
+    gc_sweep_all();
+    #endif
+
     mp_deinit();
 
 #if MICROPY_ENABLE_GC && !defined(NDEBUG)

Original file line number	Diff line number	Diff line change
`@@ -88,6 +88,7 @@ STATIC void mp_reset(void) {`
`88`	`88`	`}`
`89`	`89`
`90`	`90`	`void soft_reset(void) {`
	`91`	`+ gc_sweep_all();`
`91`	`92`	`mp_hal_stdout_tx_str("PYB: soft reboot\r\n");`
`92`	`93`	`mp_hal_delay_us(10000); // allow UART to flush output`
`93`	`94`	`mp_reset();`
Original file line number	Diff line number	Diff line change
`@@ -756,5 +756,7 @@ void stm32_main(uint32_t reset_mode) {`
`756`	`756`	`pyb_thread_deinit();`
`757`	`757`	`#endif`
`758`	`758`
	`759`	`+ gc_sweep_all();`
	`760`	`+`
`759`	`761`	`goto soft_reset;`
`760`	`762`	`}`
Original file line number	Diff line number	Diff line change
`@@ -647,6 +647,10 @@ MP_NOINLINE int main_(int argc, char **argv) {`
`647`	`647`	`}`
`648`	`648`	`#endif`
`649`	`649`
	`650`	`+ #if defined(MICROPY_UNIX_COVERAGE)`
	`651`	`+ gc_sweep_all();`
	`652`	`+ #endif`
	`653`	`+`
`650`	`654`	`mp_deinit();`
`651`	`655`
`652`	`656`	`#if MICROPY_ENABLE_GC && !defined(NDEBUG)`