diff options
| author | Kim Alvefur <zash@zash.se> | 2022-07-24 21:39:51 +0200 |
|---|---|---|
| committer | Kim Alvefur <zash@zash.se> | 2022-07-24 21:39:51 +0200 |
| commit | 93f6968077f48338ff7f925e45f365e7084dd524 (patch) | |
| tree | 6eed055e2e21c4e576a75b4c0214dcb447f52d5b /teal-src | |
| parent | 49497f25d3b9db07521f0a45fa2e949f72dbbf7d (diff) | |
| download | prosody-93f6968077f48338ff7f925e45f365e7084dd524.tar.gz prosody-93f6968077f48338ff7f925e45f365e7084dd524.zip | |
util.timer: Add Teal interface description
Diffstat (limited to 'teal-src')
| -rw-r--r-- | teal-src/util/timer.d.tl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/teal-src/util/timer.d.tl b/teal-src/util/timer.d.tl new file mode 100644 index 00000000..a6394cf3 --- /dev/null +++ b/teal-src/util/timer.d.tl @@ -0,0 +1,8 @@ +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 |