added in Logout servlet