diff options
| author |   Dave Barach <dave@barachs.net> | 2016-05-04 09:42:07 -0400 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2016-05-04 09:42:20 -0400 |
| commit | 9942bba79fe81e080ce334111ea7a0cca43dd210 (patch) | |
| tree | 9cda7471f7d6c4bfb8b6d497e2551a8300a58ed5 /build-root/deb/debian/vpp.upstart | |
| parent | b53693ab0cf0611951867b7e01a4e4fe5d251d2b (diff) | |
VPP-12: only remove vpp-related files from /dev/shm
Change-Id: I1b6983a6d23d3d2635814cdd307efa25cd5c8b7b
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build-root/deb/debian/vpp.upstart')
| -rw-r--r-- | build-root/deb/debian/vpp.upstart | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-root/deb/debian/vpp.upstart b/build-root/deb/debian/vpp.upstart index c0ff09e2..f5908783 100644 --- a/build-root/deb/debian/vpp.upstart +++ b/build-root/deb/debian/vpp.upstart @@ -6,7 +6,7 @@ manual respawn pre-start script - rm -f /dev/shm/* || true + rm -f /dev/shm/db /dev/shm/global_vm /dev/shm/vpe-api || true # should be there via dkms, but if not, start anyway modprobe igb_uio || true end script @@ -17,5 +17,5 @@ script end script post-stop script - rm -f /dev/shm/* || true + rm -f /dev/shm/db /dev/shm/global_vm /dev/shm/vpe-api || true end script |