jastrachan | 30 Mar 18:07 2005

Re: Fwd: File IO Question

On 30 Mar 2005, at 16:26, Guillaume Laforge wrote:

> On Wed, 30 Mar 2005 16:16:55 +0100, Peter Reilly 
> <peterreilly@...> wrote:
>> [...]
>> file.close() here
>> otherwise you cannot delete the file on windoes.
> What if eachLine() automagically close the file after an iteration on
> the whole file? Would it make sense? (since our iterating closures are
> supposed to close/release resources without having the user to care
> about that burden)

eachLine() should really close the file. From looking at the code - it 
appears to do so - unless this is some kinda bug?

David - does the file get deleted if you omit the eachLine() code?