diff options
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 |