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