log.debug( "Invalidating WikiSession for session ID=" + sid );
}
// Retrieve the associated WikiSession and clear the Principal set
WikiSession wikiSession = WikiSession.getWikiSession( m_engine, request );
Principal originalPrincipal = wikiSession.getLoginPrincipal();
wikiSession.invalidate();
// Remove the wikiSession from the WikiSession cache
WikiSession.removeWikiSession( m_engine, request );
// We need to flush the HTTP session too