Revision a02b89cf
| ID | a02b89cf7a02ed0cf42148ca11422b0361d4a8d5 |
Reinsert simple timers in Mainloop
This time we use the standard python sched module, rather than doing it
all by ourselves. The scheduler in mainloop can be manipulated directly
by callers, to enter new events.
Signed-off-by: Guido Trotter <ultrotter@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted