fix: Increase watchdog timeout
All checks were successful
Build RPi Pico firmware image / Build-Firmware (push) Successful in 4m42s
Check code formatting / Check-C-Format (push) Successful in 7s
Check code formatting / Check-Python-Flake8 (push) Successful in 10s
Check code formatting / Check-Bash-Shellcheck (push) Successful in 11s
Run unit tests on host / Run-Unit-Tests (push) Successful in 19s
Run pytests / Check-Pytest (push) Successful in 31s

Workaround for #60 until it is fixed.

Signed-off-by: Matthias Blankertz <matthias@blankertz.org>
This commit is contained in:
2025-12-20 22:30:55 +01:00
parent 10ec080e5f
commit c555ad94f0

View File

@@ -58,7 +58,7 @@ async def wdt_task(wdt):
# TODO: more checking of app health # TODO: more checking of app health
# Right now this only protects against the asyncio executor crashing completely # Right now this only protects against the asyncio executor crashing completely
while True: while True:
await asyncio.sleep_ms(500) await asyncio.sleep_ms(100)
wdt.feed() wdt.feed()
DB_PATH = '/sd/tonberry.db' DB_PATH = '/sd/tonberry.db'
@@ -105,7 +105,7 @@ def run():
start_webserver(config, the_app) start_webserver(config, the_app)
# Start # Start
wdt = machine.WDT(timeout=1000) wdt = machine.WDT(timeout=2000)
asyncio.create_task(aiorepl.task({'timer_manager': TimerManager(), asyncio.create_task(aiorepl.task({'timer_manager': TimerManager(),
'app': the_app})) 'app': the_app}))
asyncio.create_task(wdt_task(wdt)) asyncio.create_task(wdt_task(wdt))