tree 668e806888d49e1f32b026b5f7b83bb8c6e733d4
parent 5677ae35ba3e4b617c590b46f0f224a15f924e5b
author Holger Freyther <zecke@selfish.org> 1230370979 +0000
committer Holger Freyther <zecke@selfish.org> 1230370979 +0000

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.