From 6ae7a555bfd0dde6967d716b4439f1c47911b5d4 Mon Sep 17 00:00:00 2001 From: Julian Date: Sun, 15 May 2016 02:57:44 +0900 Subject: lua: add timer:is_enabled() function Allows to query if some timer is currently running or was stopped/killed. --- player/lua/defaults.lua | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'player') diff --git a/player/lua/defaults.lua b/player/lua/defaults.lua index a12e5bd3c3..e499ecc917 100644 --- a/player/lua/defaults.lua +++ b/player/lua/defaults.lua @@ -275,6 +275,10 @@ function timer_mt.resume(t) end end +function timer_mt.is_enabled(t) + return timers[t] ~= nil +end + -- Return the timer that expires next. local function get_next_timer() local best = nil -- cgit v1.2.3