esp8266/modmachine: Call ets_event_poll after waiti in machine.idle.

dpgeorge · dpgeorge · commit 8ce22662fead · 2019-02-28T15:44:37.000+11:00
Because "waiti 0" may have waited for a while (eg 500ms) and the internal WDT may need to be fed immediately. Fixes issue micropython#4459.
diff --git a/ports/esp8266/modmachine.c b/ports/esp8266/modmachine.c
@@ -92,6 +92,7 @@ STATIC mp_obj_t machine_idle(void) {
     uint32_t t = mp_hal_ticks_cpu();
     asm("waiti 0");
     t = mp_hal_ticks_cpu() - t;
+    ets_event_poll(); // handle any events after possibly a long wait (eg feed WDT)
     return MP_OBJ_NEW_SMALL_INT(t);
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_0(machine_idle_obj, machine_idle);

Original file line number	Diff line number	Diff line change
`@@ -92,6 +92,7 @@ STATIC mp_obj_t machine_idle(void) {`
`92`	`92`	`uint32_t t = mp_hal_ticks_cpu();`
`93`	`93`	`asm("waiti 0");`
`94`	`94`	`t = mp_hal_ticks_cpu() - t;`
	`95`	`+ ets_event_poll(); // handle any events after possibly a long wait (eg feed WDT)`
`95`	`96`	`return MP_OBJ_NEW_SMALL_INT(t);`
`96`	`97`	`}`
`97`	`98`	`STATIC MP_DEFINE_CONST_FUN_OBJ_0(machine_idle_obj, machine_idle);`