Not much info in the docs; I read the code. Clear just erases the session. Flush calls clear, then calls delete, then recreates the session. I think this code should have always used flush.