| commit | 5f75598c2804380ca07a5d52a411b5b64ba57fc3 | [log] [tgz] |
|---|---|---|
| author | Holger Freyther <zecke@selfish.org> | Sat Dec 27 09:42:59 2008 +0000 |
| committer | Holger Freyther <zecke@selfish.org> | Sat Dec 27 09:42:59 2008 +0000 |
| tree | 668e806888d49e1f32b026b5f7b83bb8c6e733d4 | |
| parent | 5677ae35ba3e4b617c590b46f0f224a15f924e5b [diff] |
Introduce a simple timer API.... One can use add_timer or schedule_timer to add a timer. After the timeout time has been reached the callback will be called. One can call add_time/schedule_timer and del_timer from within the callback.