diff options
Diffstat (limited to 'Remote/External.hs')
| -rw-r--r-- | Remote/External.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Remote/External.hs b/Remote/External.hs index dada0d9d81..1427d61456 100644 --- a/Remote/External.hs +++ b/Remote/External.hs @@ -109,6 +109,11 @@ gen r u c gc , storeKey = storeKeyDummy , retrieveKeyFile = retreiveKeyFileDummy , retrieveKeyFileCheap = \_ _ _ -> return False + -- External special remotes use many http libraries + -- and have no protection against redirects to + -- local private web servers, or in some cases + -- to file:// urls. + , retrievalSecurityPolicy = RetrievalVerifiableKeysSecure , removeKey = removeKeyDummy , lockContent = Nothing , checkPresent = checkPresentDummy |