In a message dated 10-03-99, Mike Ruskai said to Eddy Thilleman about
"hstart wget?"

Hi Mike,

 ET>> do while stream( InFile, 'state' ) = 'READY'
 
 MR> lines() or chars() would be better here.

 ET> why?

MR>Because I don't see why a stream would fail to be ready simply because
MR>the read/write pointer is at the end.

Well, it returns 'NOTREADY' when it hits end-of-file for the first time, and
'ERROR' for subsequent reads. [Assuming it was opened for read access.]

Regards

Dave

___
 * MR/2 2.25 #353 * Windows Error: 003 - Windows found.  System halted.

--- Maximus/2 3.01
45