Software /
code /
prosody
Annotate
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 |
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 |