From 83613e822f6e9e4e7d47b20198d63d196a9fe636 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 8 Dec 2010 15:28:39 -0700
Subject: [PATCH] Moving shm removal

---
 collects/meta/drdr/good-init.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/collects/meta/drdr/good-init.sh b/collects/meta/drdr/good-init.sh
index 33a0354b1f..8f383d4fdc 100755
--- a/collects/meta/drdr/good-init.sh
+++ b/collects/meta/drdr/good-init.sh
@@ -15,12 +15,14 @@ kill_all() {
   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?>
   while true; do
+    if [[ "x$2" = "xyes" ]]; then
+      echo "clearing unattached shm regions"
+      ipcs -ma | awk '0 == $6 {print $2}' | xargs -n 1 ipcrm -m
+    fi
     echo "$1: compiling"
     "$PLTROOT/bin/raco" make "$1.rkt"
     echo "$1: running"