diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T13·09+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T13·10+0200 |
commit | 510bc1735b3507b0f434303fdec5e824c879c838 (patch) | |
tree | 2fdc36553cf45856900c01a1064c688caef37e32 /src/libstore/globals.hh | |
parent | 62d476c7ee5dbb79fb435895e0cda3fac8f53ba3 (diff) |
Add an option for extending the user agent header
This is useful e.g. for distinguishing traffic to a binary cache (e.g. certain machines can use a different tag in the user agent).
Diffstat (limited to 'src/libstore/globals.hh')
-rw-r--r-- | src/libstore/globals.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 7295b0d30af0..af37ec61d7a1 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -318,6 +318,9 @@ public: Setting<unsigned long> connectTimeout{this, 0, "connect-timeout", "Timeout for connecting to servers during downloads. 0 means use curl's builtin default."}; + + Setting<std::string> userAgentSuffix{this, "", "user-agent-suffix", + "String appended to the user agent in HTTP requests."}; }; |