# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1262121069 -3600
# Node ID 383c37e754df0dae2e04a3f7e2daecf7f1864022
# Parent  a5020a1facffc046d23d39a71a1b8089ca84beac
scripts/functions: simplify wget vs. curl check

diff -r a5020a1facff -r 383c37e754df scripts/functions
--- a/scripts/functions	Tue Dec 29 21:16:51 2009 +0100
+++ b/scripts/functions	Tue Dec 29 22:11:09 2009 +0100
@@ -353,11 +353,13 @@
 # Wrapper function to call one of curl or wget
 # Usage: CT_DoGetFile <URL>
 CT_DoGetFile() {
-    case "${_wget},${_curl}" in
-        ,)  CT_Abort "Could find neither wget nor curl";;
-        ,*) CT_DoGetFileCurl "$1";;
-        *)  CT_DoGetFileWget "$1";;
-    esac
+    if   [ -n "${_curl}" ]; then
+        CT_DoGetFileCurl "$1"
+    elif [ -n "${_wget}" ]; then
+        CT_DoGetFileWget "$1"
+    else
+        CT_Abort "Could find neither wget nor curl"
+    fi
 }
 
 # This function tries to retrieve a tarball form a local directory