Signals and system

[Fredrik Lundh]

"T Koster" wrote:

> Currently, I am using system (os.system) to run wget.  The mechanism is
> in a loop, so that it will try all the mirrors while wget is exiting
> with a non-zero exit status.  This is working fine as long as the user
> feels there is no need to interrupt it.

any reason you cannot use urllib2 (or urllib) with a socket timeout
instead?

something like:

    import socket, urllib

    list_of_mirrors = ...

    socket.setdefaulttimeout(10)

    for url in list_of_mirrors:
        try:
            f = urllib.urlopen(url)
        except IOError:
            print "trying another mirror"
        else:
            break

    # copy from the f stream to local file

might work.

</F>