about summary refs log tree commit diff
path: root/src/libstore/globals.hh
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-05-11T13·09+0200
committerEelco Dolstra <edolstra@gmail.com>2017-05-11T13·10+0200
commit510bc1735b3507b0f434303fdec5e824c879c838 (patch)
tree2fdc36553cf45856900c01a1064c688caef37e32 /src/libstore/globals.hh
parent62d476c7ee5dbb79fb435895e0cda3fac8f53ba3 (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.hh3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh
index 7295b0d30a..af37ec61d7 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."};
 };