From d2711a9519cda295217340c6d3a088ceb5a637e4 Mon Sep 17 00:00:00 2001
From: Claudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Date: Wed, 3 Aug 2011 13:47:03 +0200
Subject: [PATCH] Some apps need more than one kill to die.

---
 src/nepi/testbeds/planetlab/rspawn.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/nepi/testbeds/planetlab/rspawn.py b/src/nepi/testbeds/planetlab/rspawn.py
index d28ca2da..b0af54b6 100644
--- a/src/nepi/testbeds/planetlab/rspawn.py
+++ b/src/nepi/testbeds/planetlab/rspawn.py
@@ -209,6 +209,8 @@ for x in 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 ; do
     sleep 0.2 
     if [ `ps --ppid %(ppid)d -o pid | grep -c %(pid)d` == '0' ]; then
         break
+    else
+        %(sudo)s kill %(pid)d
     fi
     sleep 1.8
 done
-- 
2.47.0