From 31ea15855712ee6a69b85b17aba0607118398e4f Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 20 Feb 2017 17:59:18 +1100
Subject: [PATCH] esp8266: Change machine.Timer callback to soft callback.

---
 esp8266/modmachine.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/esp8266/modmachine.c b/esp8266/modmachine.c
index 222ed004d8..c26c633967 100644
--- a/esp8266/modmachine.c
+++ b/esp8266/modmachine.c
@@ -157,7 +157,7 @@ STATIC mp_obj_t esp_timer_make_new(const mp_obj_type_t *type, size_t n_args, siz
 
 STATIC void esp_timer_cb(void *arg) {
     esp_timer_obj_t *self = arg;
-    mp_call_function_1_protected(self->callback, self);
+    mp_sched_schedule(self->callback, self);
 }
 
 STATIC mp_obj_t esp_timer_init_helper(esp_timer_obj_t *self, mp_uint_t n_args, const mp_obj_t *pos_args, mp_map_t *kw_args) {