scripts/functions
changeset 2592 4908eb2b6f17
parent 2590 b64cfb67944e
child 2593 2472b2f24e3a
     1.1 --- a/scripts/functions	Tue Aug 02 18:28:10 2011 +0200
     1.2 +++ b/scripts/functions	Tue Aug 02 18:26:53 2011 +0200
     1.3 @@ -590,11 +590,11 @@
     1.4      local dirname="$5"
     1.5      local tmp_dir
     1.6  
     1.7 -    # Does it exist localy?
     1.8 -    CT_GetLocal "${basename}" && return 0 || true
     1.9 -    # No, it does not...
    1.10 -
    1.11 -    CT_DoLog EXTRA "Retrieving '${basename}'"
    1.12 +    # First try locally, then the mirror
    1.13 +    if CT_GetFile "${basename}"; then
    1.14 +        # Got it! Return early! :-)
    1.15 +        return 0
    1.16 +    fi
    1.17  
    1.18      CT_MktempDir tmp_dir
    1.19      CT_Pushd "${tmp_dir}"