From eb437149e26c995aac780dc8bb67ea41275d0429 Mon Sep 17 00:00:00 2001

From: Alon Levy <alevy@redhat.com>

Date: Mon, 21 Oct 2013 18:26:02 +0300

Subject: [PATCH 09/10] Xspice: fix cleanup when some processes are already

 dead

---

 scripts/Xspice | 10 ++++++++--

 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/scripts/Xspice b/scripts/Xspice

index be87c08..9b82bfe 100755

--- a/scripts/Xspice

+++ b/scripts/Xspice

@@ -162,9 +162,15 @@ def cleanup(*args):

         if os.path.exists(f):

             os.remove(f)

     for p in cleanup_processes:

-        p.kill()

+        try:

+            p.kill()

+        except OSError:

+            pass

     for p in cleanup_processes:

-        p.wait()

+        try:

+            p.wait()

+        except OSError:

+            pass

     del cleanup_processes[:]

 def launch(*args, **kw):

-- 

1.8.3.1