log out servlet configuration enhanced