summaryrefslogtreecommitdiffstats
path: root/player/lua/defaults.lua
diff options
context:
space:
mode:
authorJulian <MyFakeAcc.4@googlemail.com>2016-05-15 02:57:44 +0900
committerwm4 <wm4@nowhere>2016-05-14 20:49:28 +0200
commit6ae7a555bfd0dde6967d716b4439f1c47911b5d4 (patch)
treebaa9a26ba7e1caed7334e59fb2ba5f31f28f90c1 /player/lua/defaults.lua
parent449b948ee8b53f17a2dd6469f6a14c8dd4c04ccd (diff)
downloadmpv-6ae7a555bfd0dde6967d716b4439f1c47911b5d4.tar.bz2
mpv-6ae7a555bfd0dde6967d716b4439f1c47911b5d4.tar.xz
lua: add timer:is_enabled() function
Allows to query if some timer is currently running or was stopped/killed.
Diffstat (limited to 'player/lua/defaults.lua')
-rw-r--r--player/lua/defaults.lua4
1 files changed, 4 insertions, 0 deletions
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