|
|
| 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)); |