diff -r b64cfb67944e -r 4908eb2b6f17 scripts/functions
--- a/scripts/functions	Tue Aug 02 18:28:10 2011 +0200
+++ b/scripts/functions	Tue Aug 02 18:26:53 2011 +0200
@@ -590,11 +590,11 @@
     local dirname="$5"
     local tmp_dir
 
-    # Does it exist localy?
-    CT_GetLocal "${basename}" && return 0 || true
-    # No, it does not...
-
-    CT_DoLog EXTRA "Retrieving '${basename}'"
+    # First try locally, then the mirror
+    if CT_GetFile "${basename}"; then
+        # Got it! Return early! :-)
+        return 0
+    fi
 
     CT_MktempDir tmp_dir
     CT_Pushd "${tmp_dir}"