diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-07-05 14:30:46 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-07-06 23:28:27 +0000 |
| commit | 7b749fe890a4acb23431148859c25643a3597d2a (patch) | |
| tree | ccf6f19d5c2af8cebd23adfbdfca829a0fd05e14 /src/vnet/session/segment_manager.h | |
| parent | 4729b1ec83855268adcea3e00a3462c06a631075 (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.h | 1 |
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 |