| commit | c4facc4b8bf46803df6866ebedfe296dc07373d1 | [log] [tgz] |
|---|---|---|
| author | Tristan Maat <tristan.maat@codethink.co.uk> | Tue Dec 10 17:52:36 2019 +0000 |
| committer | Tristan Maat <tristan.maat@codethink.co.uk> | Thu Dec 12 10:56:21 2019 +0000 |
| tree | 3d96fe701864d152a8e8e1fdacf412cea58f2360 | |
| parent | 15cb07dd6f97a31751057a80f6e8610d26e789fb [diff] |
utils.py: Use `onerror` in `_force_rmtree` If we don't, and encounter a file we don't own, but have permission to delete, we'll fail with EPERM, since we won't be able to change permissions but will be able to delete it. Instead, we now try to change permissions and remove a file *after* we realize we couldn't at first.