diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-09-28 14:35:21 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-09-28 14:35:21 -0400 |
| commit | a05cefbd7cdfc75109d8f55c4cb699352745841c (patch) | |
| tree | a3d10d759b00a2c00340d352827fe9d287bed07c /Remote/Web.hs | |
| parent | 309750f7588d7c9a6eadbdd30b630250f766311f (diff) | |
Send a git-annex user-agent when downloading urls.
Overridable with --user-agent option.
Not yet done for S3 or WebDAV due to limitations of libraries used --
nether allows a user-agent header to be specified.
This commit sponsored by Michael Zehrer.
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 789aab698..af60beee0 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -19,7 +19,7 @@ import Config.Cost import Logs.Web import Types.Key import Utility.Metered -import qualified Utility.Url as Url +import qualified Annex.Url as Url #ifdef WITH_QUVI import Annex.Quvi import qualified Utility.Quvi as Quvi @@ -118,7 +118,7 @@ checkKey' key us = firsthit us (Right False) $ \u -> do #endif DefaultDownloader -> do headers <- getHttpHeaders - liftIO $ Right <$> Url.check u' headers (keySize key) + Right <$> Url.withUserAgent (Url.check u' headers $ keySize key) where firsthit [] miss _ = return miss firsthit (u:rest) _ a = do |