114115116117118119120121122123124
SessionImpl session = ref.get(); try { if (session != null) { // session.logout(); session.invalidateLogout(); // #599, server/12i3 } } catch (Exception e) { log.log(Level.WARNING, e.toString(), e); } }
667668669670671672673674675676677
610611612613614615616617618619620
120121122123124125126127128129130