annotate teal-src/util/timer.d.tl @ 12900:5484debdfdfe

mod_auth_internal_hashed: Refactor to prepare for disabling users Moving this out will make space for a dynamic check whether a particular user is disabled or not, which is one possible response to abuse of account privileges.
author Kim Alvefur <zash@zash.se>
date Wed, 22 Feb 2023 13:27:08 +0100
parents 7eca6c919d5e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12624
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 local record util_timer
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 record task end
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3 type timer_callback = function (number) : number
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 add_task : function ( number, timer_callback, any ) : task
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
5 stop : function ( task )
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
6 reschedule : function ( task, number ) : task
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
7 end
7eca6c919d5e util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
8 return util_timer