diff options
| author | Donald Sharp <sharpd@nvidia.com> | 2020-10-09 11:41:21 -0400 |
|---|---|---|
| committer | Donald Sharp <sharpd@nvidia.com> | 2021-01-15 19:34:33 -0500 |
| commit | 4dfcfabfa99a613a8fe5d4d69f6e8550f2d9dbf6 (patch) | |
| tree | d76e13e9c93e1dbd818260c2f904c9f9da97983c /lib/debug.c | |
| parent | cfcd844c0b6fa01bbacf94bd2a18af7bb9e3ea54 (diff) | |
zebra: Push timer out if another route-map change comes in for zebra
If we are running with a delayed timer to handle route-map changes
in zebra, if another route-map change is made to the cli, push
out the timer instead of not modifying the timer. This will
allow a large set of route-maps to be possibly be read in by
the system and we don't have a state where new route-map
changes are being read in and having the timer pop in
the middle of it.
Additionally convert to use THREAD_OFF, preventing a possible
use after free as well as aligning the thread api usage
with what we consider correct.
Signed-off-by: Donald Sharp <sharpd@nvidia.com>
Diffstat (limited to 'lib/debug.c')
0 files changed, 0 insertions, 0 deletions
