in reply to Getting STDIN and writing to a file
print FILE "$record\n"; [download]
print FILE "$record"; [download]