File

teal-src/util/timer.d.tl @ 12649:86e1187f6274

mod_tokenauth: New API that better fits how modules are using token auth This also updates the module to the new role API, and improves support for scope/role selection (currently treated as the same thing, which they almost are).
author Matthew Wild <mwild1@gmail.com>
date Wed, 20 Jul 2022 10:52:17 +0100
parent 12624:7eca6c919d5e
line wrap: on
line source

local record util_timer
	record task end
	type timer_callback = function (number) : number
	add_task : function ( number, timer_callback, any ) : task
	stop : function ( task )
	reschedule : function ( task, number ) : task
end
return util_timer