diff options
Diffstat (limited to 'Remote/WebDAV.hs')
| -rw-r--r-- | Remote/WebDAV.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index 70faa7539..752e0d7ff 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -43,8 +43,8 @@ remote = RemoteType { setup = webdavSetup } -gen :: Git.Repo -> UUID -> RemoteConfig -> Annex Remote -gen r u c = new <$> remoteCost r expensiveRemoteCost +gen :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> Annex Remote +gen r u c gc = new <$> remoteCost gc expensiveRemoteCost where new cst = encryptableRemote c (storeEncrypted this) @@ -64,6 +64,7 @@ gen r u c = new <$> remoteCost r expensiveRemoteCost whereisKey = Nothing, config = c, repo = r, + gitconfig = gc, localpath = Nothing, readonly = False, remotetype = remote |