This takes an input stream. We pass it (at least in one case) an "unbuffered" input stream - should this be buffered?

-Marshall

Reply via email to