[PATCH 3/5] Xspice: cleanup non regular files too

[Alon Levy <alevy@xxxxxxxxxx>]

---
 scripts/Xspice | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/Xspice b/scripts/Xspice
index 34a5fcc..be87c08 100755
--- a/scripts/Xspice
+++ b/scripts/Xspice
@@ -159,7 +159,7 @@ cleanup_processes = []
 
 def cleanup(*args):
     for f in cleanup_files:
-        if os.path.isfile(f):
+        if os.path.exists(f):
             os.remove(f)
     for p in cleanup_processes:
         p.kill()
-- 
1.8.3.1

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