diff options
| author |   Dave Barach <dave@barachs.net> | 2018-02-20 08:34:48 -0500 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2018-02-20 16:14:10 +0000 |
| commit | ad099335c1c2de17fb0b3b29b008ef8623ee93c0 (patch) | |
| tree | 468b2c93c119cd8020bf7f3c89fc6867b8ba47a2 /extras/vagrant/run.sh | |
| parent | 9b79377ac163c765152d885037374eafd5df9b2f (diff) | |
Reset expired timer vector length after callback
Otherwise, in a "catch-up / multiple tick" case, the code will repeatedly
hand previously-processed expired timer handles to the user callback.
Change-Id: Idef4f242279ea41cb557bb6cff5984de02a6503d
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'extras/vagrant/run.sh')
0 files changed, 0 insertions, 0 deletions