210211212213214215216217218219220
if (readT.isAlive()) { // TBD log error, readT.stop(); } for (Enumeration e = listeners.elements(); e.hasMoreElements();) { SessionListener l = (SessionListener) e.nextElement(); l.sessionEnd(this); } } /** * Add session event listener.