Merge "Check cached file size when downloading an url"

This commit is contained in:
Jenkins 2013-09-16 21:24:53 +00:00 committed by Gerrit Code Review
commit f5e191dc8e

View File

@ -27,7 +27,7 @@ dest=$2
mkdir -p $(dirname $dest)
tmp=$(mktemp $(dirname $dest)/.download.XXXXXXXX)
if [ -f $dest ] ; then
if [ -f $dest -a -s $dest ] ; then
time_cond="-z $dest"
success="Server copy has changed. Using server version of $url"
else