Method WebSocket

basex-api/src/main/java/org/basex/http/ws/WebSocket.java:53–61

Constructor. @param request request

(final HttpServletRequest request)

   * @param request request
   */
  private WebSocket(final HttpServletRequest request) {
    this.request = request;

    final String pi = request.getPathInfo();
    path = new WsPath(pi != null ? pi : "/");
    session = request.getSession();

    context = new Context(HTTPContext.get().context(), this);
  }

  /**
   * Creates a new WebSocket instance.