1.1 --- a/config/global/download_extract.in	Sat May 03 17:56:40 2008 +0000
     1.2 +++ b/config/global/download_extract.in	Tue May 06 20:30:49 2008 +0000
     1.3 @@ -20,6 +20,31 @@
     1.4        
     1.5        Usefull to pre-retrieve the tarballs before going off-line.
     1.6  
     1.7 +config CONNECT_TIMEOUT
     1.8 +    int
     1.9 +    prompt "connection timeout"
    1.10 +    default 10
    1.11 +    help
    1.12 +      From the curl manual:
    1.13 +        Maximum time in seconds that you allow the connection to the server to take.
    1.14 +
    1.15 +      The scenario is as follows;
    1.16 +        - some enterprise networks have firewalls that prohibit FTP traffic, while
    1.17 +          still allowing HTTP
    1.18 +        - most download sites have http:// equivalent for the ftp:// URL
    1.19 +        - after this number of seconds, it is considered that the connection could
    1.20 +          not be established, and the next URL in the list is tried, until we reach
    1.21 +          an URL that will go through the firewall, most probably an http:// URL.
    1.22 +
    1.23 +      If you have a slow network, you'd better set this value higher than the default
    1.24 +      10s. If you know a firewall is blocking connections, but your network is globally
    1.25 +      fast, you can try to lower this value to jump more quickly to allowed URLs. YMMV.
    1.26 +
    1.27 +      Note that this value applies equally to wget if you have that installed.
    1.28 +
    1.29 +      Of course, you'd be better off to use a proxy, as offered by the following
    1.30 +      choice of options.
    1.31 +
    1.32  choice
    1.33      bool
    1.34      prompt "Proxy type"