diff -r 1409ba438ea1 -r 383c37e754df scripts/functions
--- a/scripts/functions	Mon Nov 16 20:15:45 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