URLToLocalFile
util.URLToLocalFile

This actor is a modification of the BinaryFileReader. It is designed to read a URL and copy it to the local file system. (It can also be used to read a local file and then write it to another location.)

Author(s): Dan Higgins
Version:$Id: URLToLocalFile.java,v 1.5 2006/02/02 19:30:38 higgins Exp $


endOfFile
An output port that produces false until the end of file is reached, at which point it produces true. The type is boolean.

fileOrURLPort
An input for optionally providing an input file name.

outputFilePort
An output for optionally providing an output file name.



fileOrURL
The file name or URL from which to read. This is a string with any form accepted by FileParameter.

outputFile
The file name to which to write. This is a string with any form accepted by FileParameter.