diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-18 13:57:25 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-18 13:59:59 -0400 |
commit | a5e968bb8d4c608c33463160ea2b583a3e34b8fc (patch) | |
tree | ffd59e071fadf718ed4f270d2cf2b67fda9b6315 /Remote/WebDAV | |
parent | 9d2ac4d87dc98bd2ab60da38a7e98f0964fd1595 (diff) |
add ExportTree table to export db
New table needed to look up what filenames are used in the currently
exported tree, for reasons explained in export.mdwn.
Also, added smart constructors for ExportLocation and ExportDirectory to
make sure they contain filepaths with the right direction slashes.
And some code refactoring.
This commit was sponsored by Francois Marier on Patreon.
Diffstat (limited to 'Remote/WebDAV')
-rw-r--r-- | Remote/WebDAV/DavLocation.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/WebDAV/DavLocation.hs b/Remote/WebDAV/DavLocation.hs index 09f2b1b47..cbe87e6a7 100644 --- a/Remote/WebDAV/DavLocation.hs +++ b/Remote/WebDAV/DavLocation.hs @@ -47,7 +47,7 @@ keyLocation :: Key -> DavLocation keyLocation k = keyDir k ++ keyFile k exportLocation :: ExportLocation -> DavLocation -exportLocation (ExportLocation f) = f +exportLocation = fromExportLocation {- Where we store temporary data for a key as it's being uploaded. -} keyTmpLocation :: Key -> DavLocation |