From f9cb806343cb03abeaf159714b43004ad294399e Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 8 Dec 2010 14:20:15 -0700
Subject: [PATCH] Fixing shmget

---
 collects/meta/drdr/good-init.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/meta/drdr/good-init.sh b/collects/meta/drdr/good-init.sh
index f8905cde13..33a0354b1f 100755
--- 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?>