read = event.getHttpServletRequest().getInputStream().read(first, 0, 1); } else { if (event.isReadReady()) { read = event.getHttpServletRequest().getInputStream().read(first, 0, 1);
do { inbound.onData(); } while (event.isReadReady()); break; case TIMEOUT:
case EVENT: case READ: while (event.isReadReady()) { onReceivedFrame((WebSocket) request.getAttribute(SESSION_WEBSOCKET_HANDLE));
case EVENT: case READ: while (event.isReadReady()) { onReceivedFrame((WebSocket) request.getAttribute(SESSION_WEBSOCKET_HANDLE));
case EVENT: case READ: while (event.isReadReady()) { onReceivedFrame((WebSocket) request.getAttribute(SESSION_WEBSOCKET_HANDLE));