changeset 12551 | e79c64b2dfed |
parent 12550 | e78b35574aae |
child 12979 | d10957394a3c |
--- a/util/watchdog.lua Sat Jun 11 22:15:14 2022 +0100 +++ b/util/watchdog.lua Sat Jun 11 22:15:31 2022 +0100 @@ -19,7 +19,10 @@ return watchdog; end -function watchdog_methods:reset() +function watchdog_methods:reset(new_timeout) + if new_timeout then + self.timeout = new_timeout; + end if self.timer_id then timer.reschedule(self.timer_id, self.timeout+1); else