Enforce global timeout for downloader processes.
Enforce global timeout for downloader processes.

This makes sure the total download does not take more than ten
seconds.

djpetti/rpinets,djpetti/rpinets