418419420421422423424425426427428
cleanSessAttrs(); final Monitor monitor = config.getMonitor(); if (monitor != null) { try { monitor.sessionDestroyed(this); } catch (Throwable ex) { log.error(ex); } }