/** * Creates a new session with a unique ID. **/ ServletUnitHttpSession newSession() { ServletUnitHttpSession result = new ServletUnitHttpSession( _servletContext, _listenerDispatcher ); _sessions.put( result.getId(), result ); _listenerDispatcher.sendSessionCreated( result ); return result; }
/** * Creates a new session with a unique ID. **/ ServletUnitHttpSession newSession() { ServletUnitHttpSession result = new ServletUnitHttpSession( _servletContext, _listenerDispatcher ); _sessions.put( result.getId(), result ); _listenerDispatcher.sendSessionCreated( result ); return result; }
/** * Creates a new session with a unique ID. **/ ServletUnitHttpSession newSession() { ServletUnitHttpSession result = new ServletUnitHttpSession( _servletContext, _listenerDispatcher ); _sessions.put( result.getId(), result ); _listenerDispatcher.sendSessionCreated( result ); return result; }