Fixing shmget

2010-12-08 14:20:15 -07:00 · 2010-12-08 14:20:15 -07:00 · f9cb806343
commit f9cb806343
parent 723b41b3e6
1 changed files with 3 additions and 0 deletions
--- a/collects/meta/drdr/good-init.sh
+++ b/collects/meta/drdr/good-init.sh
@ -14,6 +14,9 @@ kill_all() {
  kill -15 $KILL
  sleep 2
  kill -9 $KILL
+  sleep 1
+  # Clear unattached shared memory segments
+  ipcs -ma | awk '0 == $6 {print $2}' | xargs -n 1 ipcrm -m
 }

 run_loop () { # <basename> <kill?>