util/timer.lua
changeset 6934 5c2c8aeb4690
parent 6933 58e260832334
child 6935 f5fd2c5cdf28
--- a/util/timer.lua	Sun Nov 22 17:18:29 2015 +0100
+++ b/util/timer.lua	Sun Nov 22 17:20:20 2015 +0100
@@ -43,8 +43,17 @@
 			params[_id] = _param;
 		end
 	end
-	next_time = peek;
-	if peek ~= nil then
+
+	if peek ~= nil and _active_timers > 1 and peek == next_time then
+		-- Another instance of _on_timer already set next_time to the same value,
+		-- so it should be safe to not renew this timer event
+		peek = nil;
+	else
+		next_time = peek;
+	end
+
+	if peek then
+		-- peek is the time of the next event
 		return peek - now;
 	end
 	_active_timers = _active_timers - 1;