diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-09-13 15:52:19 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-09-13 15:52:19 -0400 |
| commit | 9c7542df2ab53df16b7fd6a677f624fe2088c3c5 (patch) | |
| tree | 0aedd644317af2df5e8b8882b70279fc2f5c8d6b | |
| parent | 4cc9fa99b309bf84267d9976916ab11b5a88f98a (diff) | |
update
| -rw-r--r-- | doc/todo/export.mdwn | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/todo/export.mdwn b/doc/todo/export.mdwn index efa8b1c38..6a8c2687a 100644 --- a/doc/todo/export.mdwn +++ b/doc/todo/export.mdwn @@ -41,5 +41,6 @@ Low priority: still probably misses cases, where eg, content cycles amoung 3 files, and the same content amoung 3 other files. Is there a general algorythm? * webdav: When a file in a subdirectory gets deleted, - the webdav collection is remains, empty. Need to check if collection is - empty, and delete otherwise. + the webdav collection is remains, empty. Could to check if collection is + empty, and delete otherwise, but that would have a race if another export + is running to the same webdav server. |