| PRTools contents |
PRDOWNLOAD
STATUS = PRDOWNLOAD(URL,DIRNAME)
| Input | |
| URL | String containing URL of file to be downloaded |
| DIRNAME | Final directory for download, created if necessary |
| README | Name of possible readme-file to be preserved |
The URL will be downloaded in directory DIRNAME (to be created if needed). The resulting file will be uncompressed in case of a zip-, gz- or tar-file.
The main purpose of this routine is to download missing datafiles or datasets from PRDATAFILES and PRDATASETS.
| PRTools contents |