Permalink
Browse files

Delete mmstats files even when PID is owned by another user

  • Loading branch information...
schmichael committed Dec 12, 2012
1 parent a1a6aeb commit fdeed8f7a42033c3d1400ed33d0a3581491a7da0
Showing with 2 additions and 3 deletions.
  1. +2 −3 mmstats/clean.py
View
@@ -38,9 +38,8 @@ def clean(files):
os.kill(pid, 0)
except OSError as e:
if e.errno == errno.EPERM:
- print ('PID %d is alive but owned by another user, skipping.'
- % pid)
- continue
+ print ('PID %d is alive but owned by another user. Deleting %s'
+ % (pid, fn))
elif e.errno == errno.ESRCH:
# 'No such process' means we can safely delete this stale pid
print 'PID %d not found. Deleting %s' % (pid, fn)

0 comments on commit fdeed8f

Please sign in to comment.