I'm trying to think of other candidate pages to add this to, but I don't see any. Ideas?
Also, a couple of extra notes:
- apparently session_write_close() is actually called session_flush() in PHP 4.3.8; see comments in http://nz.php.net/manual/en/function.session-write-close.php
- It's a bit risky in that $SESSION and $USER will still be around, but changes will be discarded.