Destroy user's session (logout).
Documentation generated on Fri, 24 Nov 2006 21:16:28 +0100 by phpDocumentor 1.3.0RC3