From 62b16547b4e74f004fef38c4e06cad45e5c8ab2a Mon Sep 17 00:00:00 2001
From: Gwenhael Le Moine <cycojesus@darkstar.(none)>
Date: Thu, 28 Jan 2010 16:18:12 +0700
Subject: [PATCH] timeout of 10s for wget

---
 e/divers-el/divers-el.SlackBuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/e/divers-el/divers-el.SlackBuild b/e/divers-el/divers-el.SlackBuild
index 14746d04..3d4b1bc2 100755
--- a/e/divers-el/divers-el.SlackBuild
+++ b/e/divers-el/divers-el.SlackBuild
@@ -31,7 +31,7 @@ mkdir -p $CWD/els
     elfileget_or_update() {
         URL=$1
         FILENAME=$(echo "$URL" | grep -o -e "[/=][A-Za-z0-9+-]*\.el" | tr -d '=' | tr -d '/')
-        wget -c "$URL" -O "$FILENAME.new"
+        wget -T 10 -c "$URL" -O "$FILENAME.new"
         [ "$(wc -c $FILENAME.new)" > 0 ] && mv "$FILENAME.new" "$FILENAME"
         [ -e "$FILENAME.new" ] && rm "$FILENAME.new"
     }