commit bf39597d41da6d00e4d1a9954e42d16069069243
author Florin Coras <fcoras@cisco.com> Thu Apr 30 15:05:24 2020 +0000
committer Dave Barach <openvpp@barachs.net> Thu Apr 30 20:50:14 2020 +0000
tree 17720444b6f830f21a194022d9ffa52e145e320e
parent 240dcb24a00004017ec2d1b23b93d9ae8d3c9f65

session: cleanup listener segment manager on wrk free

Type: fix

Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I1585af9e4f4273f055aed824b133ddc8eddd1df7

src/vnet/session/segment_manager.h

diff --git a/src/vnet/session/segment_manager.h b/src/vnet/session/segment_manager.h
index 13b1fff..fbd9afa 100644
--- a/src/vnet/session/segment_manager.h
+++ b/src/vnet/session/segment_manager.h
@@ -140,6 +140,7 @@
 svm_msg_q_t *segment_manager_event_queue (segment_manager_t * sm);
 u32 segment_manager_evt_q_expected_size (u32 q_size);
 
+u8 segment_manager_app_detached (segment_manager_t * sm);
 void segment_manager_app_detach (segment_manager_t * sm);
 
 /**