---
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
[email protected]
http://lists.freedesktop.org/mailman/listinfo/spice-devel
