io.mangoo.managers

Class WebSocketManager

java.lang.Object

io.mangoo.managers.WebSocketManager

public class WebSocketManager
extends Object

Author:

svenkubiak

Constructor Summary

Constructors

Constructor and Description
WebSocketManager()

Method Summary

Modifier and Type	Method and Description
void	addChannel(io.undertow.websockets.core.WebSocketChannel channel) Adds a new channel to the manager
void	close(String uri) Closes all connections for a given URI resource
Set<io.undertow.websockets.core.WebSocketChannel>	getChannels(String uri) Retrieves all channels under a given URL
void	removeChannels(String uri) Removes all URI resources for a given URL
void	setChannels(String uri, Set<io.undertow.websockets.core.WebSocketChannel> channels) Sets the URI resources for a given URL

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WebSocketManager

public WebSocketManager()

Method Detail

addChannel

public void addChannel(io.undertow.websockets.core.WebSocketChannel channel)

Adds a new channel to the manager

Parameters:

channel - channel The channel to put

setChannels

public void setChannels(String uri,
                        Set<io.undertow.websockets.core.WebSocketChannel> channels)

Sets the URI resources for a given URL

Parameters:

uri - The URI resource for the connection

channels - The channels for the URI resource

getChannels

public Set<io.undertow.websockets.core.WebSocketChannel> getChannels(String uri)

Retrieves all channels under a given URL

Parameters:

uri - The URI resource for the channels

Returns:

A Set of channels for the URI resource

removeChannels

public void removeChannels(String uri)

Removes all URI resources for a given URL

Parameters:

uri - The URI resource for the connection

close

public void close(String uri)

Closes all connections for a given URI resource

Parameters:

uri - The URI resource for the connection