summaryrefslogtreecommitdiffstats
path: root/src/vnet/session/segment_manager.h
diff options
context:
space:
mode:
authorDave Wallace <dwallacelf@gmail.com>2017-07-05 14:30:46 -0400
committerFlorin Coras <florin.coras@gmail.com>2017-07-06 23:28:27 +0000
commit7b749fe890a4acb23431148859c25643a3597d2a (patch)
treeccf6f19d5c2af8cebd23adfbdfca829a0fd05e14 /src/vnet/session/segment_manager.h
parent4729b1ec83855268adcea3e00a3462c06a631075 (diff)
Unlink /dev/shm files on application detach.
Change-Id: Ieb5522cd5cb27bcbce808d4cd6df5248716da43c Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'src/vnet/session/segment_manager.h')
-rw-r--r--src/vnet/session/segment_manager.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vnet/session/segment_manager.h b/src/vnet/session/segment_manager.h
index d4b73208257..df38d2b35f9 100644
--- a/src/vnet/session/segment_manager.h
+++ b/src/vnet/session/segment_manager.h
@@ -96,6 +96,7 @@ segment_manager_init (segment_manager_t * sm,
void segment_manager_get_segment_info (u32 index, u8 ** name, u32 * size);
int
session_manager_add_first_segment (segment_manager_t * sm, u32 segment_size);
+void segment_manager_first_segment_maybe_del (segment_manager_t * sm);
int session_manager_add_segment (segment_manager_t * sm);
void segment_manager_del (segment_manager_t * sm);
int