0e4bdd21a8
Was trying to rmdir the file, which had already been deleted, and when that failed, it skipped trying to delete the parent directories. Noticed the bug through testremote, but it can't itself detect such problems as there is no enumeration in the API. This commit was sponsored by Brock Spratlen on Patreon. |
||
|---|---|---|
| .. | ||
| Directory | ||
| External | ||
| Helper | ||
| Rsync | ||
| WebDAV | ||
| BitTorrent.hs | ||
| Bup.hs | ||
| Ddar.hs | ||
| Directory.hs | ||
| External.hs | ||
| GCrypt.hs | ||
| Git.hs | ||
| Glacier.hs | ||
| Hook.hs | ||
| List.hs | ||
| P2P.hs | ||
| Rsync.hs | ||
| S3.hs | ||
| Tahoe.hs | ||
| Web.hs | ||
| WebDAV.hs | ||