File

teal-src/util/timer.d.tl @ 12662:07424992d7fc

mod_authz_internal, and more: New iteration of role API These changes to the API (hopefully the last) introduce a cleaner separation between the user's primary (default) role, and their secondary (optional) roles. To keep the code sane and reduce complexity, a data migration is needed for people using stored roles in 0.12. This can be performed with prosodyctl mod_authz_internal migrate <host>
author Matthew Wild <mwild1@gmail.com>
date Wed, 17 Aug 2022 16:38:53 +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