push method

void push(
  1. WebSocketMessage message
)

Pushes a received message into this topic's stream. Called by ChannelManager.

Implementation

void push(WebSocketMessage message) {
  if (!_disposed && !_controller.isClosed) {
    _controller.add(message);
  }
}