void onDisconnect(AtmosphereResourceEvent e) { for (AtmosphereResourceEventListener r : listeners) { r.onDisconnect(e); if (transport.equals(TRANSPORT.WEBSOCKET) && WebSocketEventListener.class.isAssignableFrom(r.getClass())) { WebSocketEventListener.class.cast(r).onDisconnect(new WebSocketEventListener.WebSocketEvent(1005, CLOSE, webSocket)); } } if (e.getResource() != null) { config.framework().notifyDestroyed(e.getResource().uuid()); } }
private void onDisconnect(WebSocketEvent event, AtmosphereResourceEventListener l) { if (event.webSocket() != null && event.webSocket().resource() != null) { framework.notifyDestroyed(event.webSocket().resource().uuid()); } WebSocketEventListener.class.cast(l).onDisconnect(event); }
break; case DISCONNECT: WebSocketEventListener.class.cast(l).onDisconnect(event); onDisconnect(event, l); break;