core: allow a worker id in timer routines
authorlazedo <luis.azedo@factorlusitano.com>
Tue, 5 Mar 2019 09:59:04 +0000 (09:59 +0000)
committerHenning Westerholt <henningw@users.noreply.github.com>
Sat, 9 Mar 2019 11:52:43 +0000 (12:52 +0100)
commit98ea3b05528d0277ebe9618e43df301411e38210
treeeb374baeeb604aa16615c4766014998afe760815
parent4d5622b25039a0b35ae3e6d447843d3fb33af334
core: allow a worker id in timer routines
src/core/timer.h
src/core/timer_proc.c
src/core/timer_proc.h