Travis D Warlick Jr wrote:
> Joel VanderWerf wrote:
>> Travis D Warlick Jr wrote:
>>> Lionel Bouton wrote:
>>>
>>>     while buffer[0...512] = file.read(512)
>>>
>> Do you mean file.read(512, buffer) ?
> 
> Ahh, yes.  That would be an much prettier way to do it.
> 
>     while file.read(512, buffer)

It's not just prettier. With an assignment like

buffer[0...512] = file.read(512)

there is an intermediate string that instantly becomes garbage.

-- 
       vjoel : Joel VanderWerf : path berkeley edu : 510 665 3407