Looks like the following is a way to timeout urllib.urlretrieve() diff --git a/config/BuildSystem/retrieval.py b/config/BuildSystem/retrieval.py index 1875a07..fb5059d 100644 --- a/config/BuildSystem/retrieval.py +++ b/config/BuildSystem/retrieval.py @@ -4,6 +4,9 @@ import os import urllib import urlparse import config.base +import socket +socket.setdefaulttimeout(30) + # Fix parsing for nonstandard schemes urlparse.uses_netloc.extend(['bk', 'ssh', 'svn'])
However - it appears to be a global timeout [for all sockets created from python?] Should we use this? Satish On Thu, 25 Jun 2015, Satish Balay wrote: > We use: > > self.download = > ['http://gforge.inria.fr/frs/download.php/file/34099/scotch_6.0.3.tar.gz', > > 'http://ftp.mcs.anl.gov/pub/petsc/externalpackages/scotch_6.0.3.tar.gz'] > > > So - if the first url fails - configure should use the second one. > > However sometimes configure hangs. I see configure is hanging here - > but weget is not. So perhaps a bug in python urllib? > > [have to check more..] > > Satish > > > On Thu, 25 Jun 2015, Barry Smith wrote: > > > > > Bug report should be sent to the Inria folks. > > > > Barry > > > > I wonder how many French Francs they waste maintaining their own source > > forge instead of using github for free. > > > > > > > On Jun 25, 2015, at 9:55 AM, Stefano Zampini <[email protected]> > > > wrote: > > > > > > It seems that —download-ptscotch is broken right now, since the code > > > repository on gforge.inria.fr is not accessible anymore as an anonymous > > > user. > > > > > > Stefano > > > > >
