---
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@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/spice-devel
