#! /bin/sh
#
# This script is used to mirror wims source and module distribution
# from wims.unice.fr.

# This line makes the mirroring only weekly (every sunday morning).
# Comment out the line to make daily mirroring.
[ `date '+%w'` = "0" ] || exit

original=http://wims.unice.fr/download/
cd `dirname $0/..`
wimsbase=`pwd`
cd public_html

mkdir -p download

wget -m -np -t1 -T60 -w2 -nH --progress=dot \
	-Xdownload/wims/old \
	http://wims.unice.fr/download/ >$wimsbase/tmp/wget.log 2>$wimsbase/tmp/wget.err

