diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-12 14:08:00 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-12 14:10:09 -0400 |
commit | d9b80aca317a2484df5922d589b7b5e3bc30aa4a (patch) | |
tree | 071a71c75acb1deeb84aadf14d737294ac954512 /Command | |
parent | 6550b6211c04cb27208dff3d17010643fe93a11c (diff) |
export to webdav
This basically works, but there's a bug when renaming a file that leaves
a .git-annex-temp-content-key file in the webdav store, that never gets
cleaned up.
Also, exporting files with spaces to box.com seems to fail; perhaps it
does not support it?
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Command')
-rw-r--r-- | Command/Export.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Command/Export.hs b/Command/Export.hs index d2ba53dd2..52355e69d 100644 --- a/Command/Export.hs +++ b/Command/Export.hs @@ -304,7 +304,9 @@ performRename r db ek src dest = do ( next $ cleanupRename db ek src dest -- In case the special remote does not support renaming, -- unexport the src instead. - , performUnexport r db [ek] src + , do + warning "rename failed; deleting instead" + performUnexport r db [ek] src ) cleanupRename :: ExportHandle -> ExportKey -> ExportLocation -> ExportLocation -> CommandCleanup |