--- /dev/null
+
+filename="$1"
+url="$2"
+
+tmpfilename="$filename.tmp"
+
+echo wget $url
+wget -O - $url >$tmpfilename
+if test ! -s $tmpfilename
+then
+ rm -f $tmpfilename
+ exit 1
+fi
+
+if test -f $filename
+then
+ if cmp -s $filename $tmpfilename
+ then
+ rm -f $tmpfilename
+ exit 0
+ fi
+fi
+mv $tmpfilename $filename