util/watchdog.lua
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