aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-26 16:07:43 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-26 16:07:43 +0100
commit7f74513b4e5b632b4099702cf4fe2800de7b67f9 (patch)
tree5bf26df2d1eb0cc10e4249d9db6bedce381d62f8 /doc/manual
parent00d761016a33ff9aa0ea162402d0d846dd1927cb (diff)
Also provide an option for setting the curl connection timeout
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/conf-file.xml14
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/manual/conf-file.xml b/doc/manual/conf-file.xml
index c832108fe..327d22c4a 100644
--- a/doc/manual/conf-file.xml
+++ b/doc/manual/conf-file.xml
@@ -451,6 +451,20 @@ flag, e.g. <literal>--option gc-keep-outputs false</literal>.</para>
</varlistentry>
+ <varlistentry xml:id="conf-connect-timeout"><term><literal>connect-timeout</literal></term>
+
+ <listitem>
+
+ <para>The timeout (in seconds) for establishing connections in
+ the binary cache substituter. It corresponds to
+ <command>curl</command>’s <option>--connect-timeout</option>
+ option.</para>
+
+ </listitem>
+
+ </varlistentry>
+
+
</variablelist>
</para>