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.
5 files changed
tree: b9627bac2a7c5fa7492e4322a4cc1a4c5be6de52
  1. tests/
  2. configure.in
  3. Makefile.am