Software / code / prosody
Annotate
teal-src/util/timer.d.tl @ 12654:f3dbbc7655e6
usermanager: Handle local JIDs being passed to get/set_jid_role()
There is no reasonable fallback for set_jid_role() because users may have
multiple roles, so that's an error.
| author | Matthew Wild <mwild1@gmail.com> |
|---|---|
| date | Mon, 01 Aug 2022 20:26:00 +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 |
