Hi Tim, I think that will be a good solution. Thanks.
Alex On Thu, Jan 16, 2014 at 6:18 PM, Tim <tim.oshea...@gmail.com> wrote: > Alex, > > I'm inclined to make this timeout a Pybombs configuration variable that > defaults to 10. I think for most people that is a reasonable timeout > value, but this would make it very easy for it to be bumped up in special > circumstances such as yours. Does this sound reasonable to you? > > Tim > > > -------- Original message -------- > From: Alexandru Csete > Date:01/16/2014 10:43 (GMT-05:00) > To: discuss-gnuradio@gnu.org > Subject: [Discuss-gnuradio] pybombs/wget behind a proxy > > Greetings, > > There seems to be a 10 second timeout when pybombs fetches packages > using wget. This is way too short when working behind a proxy. > > I have no clue how proxies are supposed to work. The one I am sitting > behind downloads the package and scans it for viruses and during that > time the connection appears to hang from wget point of view. With a > large package like Ice, 10 seconds are not sufficient. I don't know > what a proper timeout would be, but maybe this is why the default > timeout is so long. > > Alex > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio