(download-getfile host path filename)

download-getfile downloads the file at the given host and path, then saves it as the given filename.

Parameter	Description
host	hostname of the https server
path	path of the file to be downloaded
filename	the name of the saved file

Example