diff options
author | 2017-09-15 16:30:49 -0400 | |
---|---|---|
committer | 2017-09-15 16:30:49 -0400 | |
commit | 2d3f18876550ee2e37a60aea1c0faaa369606ae0 (patch) | |
tree | 5da6331d2e4d03748cf0c00c0cb87d82c78c16c1 /Remote/WebDAV.hs | |
parent | c26b2eb2a4f261fd903b02d397737cf6a3a0196b (diff) |
avoid unncessary db queries when exported directory can't be empty
In rename foo/bar to foo/baz, foo can't be empty.
In delete zxyyz, there's no exported directory (top doesn't count).
Diffstat (limited to 'Remote/WebDAV.hs')
0 files changed, 0 insertions, 0 deletions