servlet logout fixes