diff options
author | Dave Barach <dave@barachs.net> | 2020-04-28 18:00:21 -0400 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-04-29 21:36:51 +0000 |
commit | 09c0946e91b4810c8450fe0962b2085506fbda25 (patch) | |
tree | daa27fb97f6220a17ce87e67a044e6b76dee66e5 /extras/vpp_config/vpplib/VppPCIUtil.py | |
parent | fd0834262c517ea3a420fdba05fb95bc4141762b (diff) |
vlib: add ASSERT to vlib_time_now(...)
Calling vlib_time_now (&vlib_global_main) from a worker thread is a bad
mistake. ASSERT (vm->thread_index == __os_thread_index) will catch it.
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I55af6de84e06143f8f43adc62103b77267a7a441
(cherry picked from commit 77d98382824ca211fb55fcf842931930ccfb3baa)
Diffstat (limited to 'extras/vpp_config/vpplib/VppPCIUtil.py')
0 files changed, 0 insertions, 0 deletions