diff options
author | Florin Coras <fcoras@cisco.com> | 2023-12-01 18:47:45 -0800 |
---|---|---|
committer | Dave Barach <vpp@barachs.net> | 2023-12-02 23:37:19 +0000 |
commit | 94a52d795d4cdf3ed326409247f4f30c0a6e4f2b (patch) | |
tree | 6983d63fa0cdea5199768ab9648ba19d1560182d /build-root/vagrant | |
parent | 2c5e2184efd95d7c011ab9a4c6d8fd588e051ed7 (diff) |
session: no segment handle on worker del
Coverity report.
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I3ce06634b30688d2a9581b50d462092daa8b4cac
Diffstat (limited to 'build-root/vagrant')
0 files changed, 0 insertions, 0 deletions