extending file?

[Jeremy Jones]

<snip the whole thread>

So, with everything being said that's been said, here's are two 
questions for myself and for Chris Cioffi:

1.  How difficult would it be to modify file.readline() so it would read 
until a specific character rather than the standard end of line 
character(s)?
2.  What would be the best way to go about the above?

If anyone has any ideas, I think we would both listen with great interest.


Jeremy Jones