Java Code Examples for org.apache.tomcat.websocket.WsSession#isOpen()

The following examples show how to use org.apache.tomcat.websocket.WsSession#isOpen() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: WsServerContainer.java    From Tomcat8-Source-Read with MIT License 5 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * Overridden to make it visible to other classes in this package.
 */
@Override
protected void registerSession(Object key, WsSession wsSession) {
    super.registerSession(key, wsSession);
    if (wsSession.isOpen() &&
            wsSession.getUserPrincipal() != null &&
            wsSession.getHttpSessionId() != null) {
        registerAuthenticatedSession(wsSession,
                wsSession.getHttpSessionId());
    }
}
Example 2
Source File: WsServerContainer.java    From Tomcat7.0.67 with Apache License 2.0 5 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * Overridden to make it visible to other classes in this package.
 */
@Override
protected void registerSession(Endpoint endpoint, WsSession wsSession) {
    super.registerSession(endpoint, wsSession);
    if (wsSession.isOpen() &&
            wsSession.getUserPrincipal() != null &&
            wsSession.getHttpSessionId() != null) {
        registerAuthenticatedSession(wsSession,
                wsSession.getHttpSessionId());
    }
}
Example 3
Source File: WsServerContainer.java    From tomcatsrc with Apache License 2.0 5 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * Overridden to make it visible to other classes in this package.
 */
@Override
protected void registerSession(Endpoint endpoint, WsSession wsSession) {
    super.registerSession(endpoint, wsSession);
    if (wsSession.isOpen() &&
            wsSession.getUserPrincipal() != null &&
            wsSession.getHttpSessionId() != null) {
        registerAuthenticatedSession(wsSession,
                wsSession.getHttpSessionId());
    }
}