PrintTo( filename, obj1, obj2... )
PrintTo works like
PrintTo will overwrite the previous contents of this file if
it already existed.
AppendTo can be used to append to a file (see
The special file name
"*stdout*" can be used to print to the
standard output. This is equivalent to a plain
PrintTo call will also print to the output file opened by the last
PrintTo call, while
PrintTo( "*stdout*", obj1, obj2... )
always prints to the standard output. The special file name
"*errout*" can be used to print to the standard error output file,
which is usually connected with the terminal, even if the standard output
There is an operating system dependent maximum to the number of output files that may be open at once, usually this is 14.
Previous Up Top Next