glued-download-sources: added maximum 30 second timeout.

2014-08-07 15:23:20 +01:00 · 2014-08-07 15:23:20 +01:00 · 7ab772c363
parent 10846e4f3d
commit 7ab772c363
1 changed files with 4 additions and 1 deletions
--- a/utils/glued-download-sources.bash
+++ b/utils/glued-download-sources.bash
@ -47,7 +47,10 @@ find "$PKGS" -name '*.bash' | while read file; do
        if [ "$fh" != "$m" ]; then
            nfo1 "Downloading $f"
            echo ""
-            wget -P "$DST" -4 -c "$u"
+            wget \
+                --timeout=30 \
+                --tries 1 \
+                -P "$DST" -4 -c "$u"
            echo ""
        fi
        let n++