Stdio.read_file reads data while Stdio.File represents data. They are not directly interchangeable.
/ Martin Nilsson (DivX Networks)
Previous text:
2004-09-29 15:10: Subject: Re: Stdio.File() bug?
i disagree. if i want less errorprone, i'd use Stdio.read_file()
greetings, martin.
/ Brevbäraren