Handbook
Glossary
?download-to ( url file -- )
HTTP client
ยป
GET requests with the HTTP client
Prev:
download-to ( url file -- )
Next:
<get-request> ( url -- request )
Vocabulary
http.client
Inputs
url
an
url
or a
string
file
a pathname string
Outputs
None
Word description
Version of
download-to
that only downloads if
file
does not exist.
Errors
Throws an error if the HTTP request fails.
Definition
USING:
io.files
kernel
;
IN:
http.client
:
?download-to
( url file -- )
dup
file-exists?
[
2drop
]
[
download-to
]
if
;