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.
I'll be adding it to close, and also checking to see if there are any other places where it is appropriate.
-- Tom Bradford - http://www.tbradford.org Architect - XQRL (XQuery Engine) - http://www.xqrl.com Apache Xindice (Native XML Database) - http://xml.apache.org Project Labrador (Web Services Framework) - http://notdotnet.org
