File

teal-src/util/timer.d.tl @ 12672:c8f59ce7d3cf

mod_admin_shell: Ensure account has role before it is usable By creating the account first without a password it can't be used until the role has set. This is most important for restricted accounts, as a failure to set the role would lead to the account having more privileges than indented.
author Kim Alvefur <zash@zash.se>
date Thu, 18 Aug 2022 19:00:01 +0200
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