5 echo 'usage: $argv0 [ -o file ] [ -p body | -P ] [ -r header ] [ -m method ] [ -b baseurl ] url' >[1=2]
45 s=`{ls -l $o | awk '{print $6}'}
48 r=($r 'Range: bytes='^$s^'-')
49 <[3=0] <>/mnt/web/clone {
52 echo -n baseurl $b >[1=0]
55 echo -n headers $i >[1=0]
57 echo -n request $m >[1=0]
58 if(! ~ $#p 0 || ! ~ $#P 0){
68 l=`{cat $d/contentlength >[2]/dev/null}
69 x=`{awk 'BEGIN{FS=" |-"}/^bytes ([0-9]+)\-/{print $2}' \
70 $d/contentrange >[2]/dev/null}
71 if(~ $s $l && ~ $#x 0)