From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: From: Juergen Beisert Date: Mon, 17 Sep 2012 09:48:46 +0200 References: In-Reply-To: MIME-Version: 1.0 Content-Disposition: inline Message-Id: <201209170948.46722.jbe@pengutronix.de> Subject: Re: [ptxdist] making HTTP proxy timeout adjustable Reply-To: ptxdist@pengutronix.de List-Id: PTXdist Development Mailing List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: ptxdist-bounces@pengutronix.de Errors-To: ptxdist-bounces@pengutronix.de To: ptxdist@pengutronix.de Cc: "Schenk, Gavin" Schenk, Gavin wrote: > Hi all, > > I recently migrated to 2012-09 and as usual I had to work around our > companies HTTP proxy ... ... so what about something like: > > diff -Naur orig/ptxdist-2012.09.0/config/setup/Kconfig > ptxdist-2012.09.0/config/setup/Kconfig --- > orig/ptxdist-2012.09.0/config/setup/Kconfig 2012-09-06 18:13:48.000000000 > +0200 +++ ptxdist-2012.09.0/config/setup/Kconfig 2012-09-17 > 09:12:02.274401151 +0200 @@ -56,6 +56,14 @@ > http://your.proxy.org:80 > +config SETUP_HTTP_PROXY_TIMEOUT > + prompt "HTTP Proxy timeout" > + int > + default "30" > + help > + Set maximum timeout for downloads via a http proxy Seconds? Hours? Months? Years? jbe -- Pengutronix e.K. | Juergen Beisert | Linux Solutions for Science and Industry | http://www.pengutronix.de/ | -- ptxdist mailing list ptxdist@pengutronix.de