diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-06-24 13:18:43 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-07-01 22:53:00 +1000 |
| commit | 89a23a05b3feb2f81fb00d272202b274c2a325cd (patch) | |
| tree | c6b455e1eaade9b47bd848d2767df98cf1d768ec /extmod/machine_pulse.c | |
| parent | 999733b1fb08fb07a31846115998dbf43a913327 (diff) | |
esp8266: Provide custom machine_time_pulse_us that feeds soft WDT.
So that the timeout for machine.time_pulse_us() can be large.
Fixes issue #2775.
Diffstat (limited to 'extmod/machine_pulse.c')
| -rw-r--r-- | extmod/machine_pulse.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extmod/machine_pulse.c b/extmod/machine_pulse.c index 5f837479d..7178b22d7 100644 --- a/extmod/machine_pulse.c +++ b/extmod/machine_pulse.c @@ -30,7 +30,7 @@ #if MICROPY_PY_MACHINE_PULSE -mp_uint_t machine_time_pulse_us(mp_hal_pin_obj_t pin, int pulse_level, mp_uint_t timeout_us) { +MP_WEAK mp_uint_t machine_time_pulse_us(mp_hal_pin_obj_t pin, int pulse_level, mp_uint_t timeout_us) { mp_uint_t start = mp_hal_ticks_us(); while (mp_hal_pin_read(pin) != pulse_level) { if ((mp_uint_t)(mp_hal_ticks_us() - start) >= timeout_us) { |