tree b9627bac2a7c5fa7492e4322a4cc1a4c5be6de52
parent 6a15d37c8c055c8a181256f07c10096e8e19177d
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.