On Friday, February 22, 2002, at 07:47 PM, Mike Gratton wrote:
After looking at Kimbro's last commit, I'm wondering why Paged.close() doesn't explicitly call Paged.flush() before doing the close? That would make it not only consistent with classes in java.io but what (I assume) must people would expect. It also relieves the need to call flush() every time before you call close().
Yeah, I thought that might be a better place to put it too. I wanted to localize this change though, this is Tom's code and I'm not really up to speed on it. I'm sure he'll change it.
Mike.
-- Mike Gratton <[EMAIL PROTECTED]> "Every motive escalate." Blatant self-promotion: <http://web.vee.net/>
Kimbro Staken - http://www.kstaken.org - http://www.xmldatabases.org Apache Xindice native XML database http://xml.apache.org XML:DB Initiative http://www.xmldb.org Senior Technologist (Your company name here)
