diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-07-03 13:11:38 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2017-07-17 21:00:52 -0400 |
| commit | d756b35032cdf7fdaaf0d6611388a54d32d72e92 (patch) | |
| tree | 21c9626d87fde1c935755862811b339dc7338ad1 /src/vppinfra | |
| parent | 365a2b851024080c2f8f59bce2b61f243a85c254 (diff) | |
Fix unlinking of /dev/shm files.
- api-segment prefix not used when unlinking shm files
- unlink root region on exit if no clients referenced
- stale reference to freed segment name
- don't add fake client to /db unless CLIB_DEBUG > 2
- turn off the gmond plugin
- clean up unused vars in vpp/api
Change-Id: I66451fcfd6ee64a12466c2d6c209050e3cdb74b7
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra')
0 files changed, 0 insertions, 0 deletions