EliasFleckenstein03
/
plan9front
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

hget: do a HEAD request to check if the file is already complete (thanks miscief) 

when we continue a download, make sure the file isnt already
complete, as otherwise the server might respond with a 416
as the range request will out of range.
front
cinap_lenrek 2018-10-10 02:45:11 +02:00
parent e73ce8475e
commit a13ba7741f
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
rc/bin/hget
View File

@ -47,13 +47,24 @@ if(! ~ $#o 0){
if(test -s $o)
s=`{ls -l $o | awk '{print $6}'}
}
if(! ~ $s 0)
r=($r 'Range: bytes='^$s^'-')
<[3=0] <>/mnt/web/clone {
d=/mnt/web/^`{sed 1q}
if(~ $#b 1)
echo -n baseurl $b >[1=0]
echo -n url $1 >[1=0]
if(! ~ $s 0 && ~ $#p 0 && ~ $#P 0 && ~ $#m 0){
for(i in $r)
echo -n headers $i >[1=0]
echo -n request HEAD >[1=0]
<$d/body {
if(~ $s `{cat $d/contentlength >[2]/dev/null})
exit ''
}
if(~ $#b 1)
echo -n baseurl $b >[1=0]
echo -n url $1 >[1=0]
r=($r 'Range: bytes='^$s^'-')
}
for(i in $r)
echo -n headers $i >[1=0]
if(~ $#m 1)