[PATCH 4/5] Xspice: fix cleanup when some processes are already dead

[Alon Levy <alevy@xxxxxxxxxx>]

---
 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

_______________________________________________
Spice-devel mailing list
Spice-devel@xxxxxxxxxxxxxxxxxxxxx
http://lists.freedesktop.org/mailman/listinfo/spice-devel