version 1.1.1.2, 2013/07/22 08:44:29
|
version 1.1.1.3, 2021/03/17 00:39:23
|
Line 95 TimerExpires(int type, void *cookie)
|
Line 95 TimerExpires(int type, void *cookie)
|
const char *desc = timer->desc; |
const char *desc = timer->desc; |
const char *dbg = timer->dbg; |
const char *dbg = timer->dbg; |
|
|
|
(void)type; |
Log(LG_EVENTS, ("EVENT: Processing timer \"%s\" %s()", desc, dbg)); |
Log(LG_EVENTS, ("EVENT: Processing timer \"%s\" %s()", desc, dbg)); |
(*timer->func)(timer->arg); |
(*timer->func)(timer->arg); |
Log(LG_EVENTS, ("EVENT: Processing timer \"%s\" %s() done", desc, dbg)); |
Log(LG_EVENTS, ("EVENT: Processing timer \"%s\" %s() done", desc, dbg)); |