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