cn.wizzer.app.web.commons.ext.websocket

类 WkJedisRoomProvider

java.lang.Object

cn.wizzer.app.web.commons.ext.websocket.WkJedisRoomProvider

所有已实现的接口:

org.nutz.plugins.mvc.websocket.WsRoomProvider

public class WkJedisRoomProvider
extends Object
implements org.nutz.plugins.mvc.websocket.WsRoomProvider

Created by wizzer on 2018/7/5.

字段概要

字段

限定符和类型	字段和说明
protected org.nutz.integration.jedis.JedisAgent	jedisAgent

构造器概要

构造器

构造器和说明
WkJedisRoomProvider(org.nutz.integration.jedis.JedisAgent jedisAgent)

方法概要

限定符和类型	方法和说明
void	join(String room, String wsid)
void	left(String room, String wsid)
Set<String>	wsids(String room)

从类继承的方法 java.lang.Object

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

字段详细资料

jedisAgent

protected org.nutz.integration.jedis.JedisAgent jedisAgent

构造器详细资料

WkJedisRoomProvider

public WkJedisRoomProvider(org.nutz.integration.jedis.JedisAgent jedisAgent)

方法详细资料

wsids

public Set<String> wsids(String room)

指定者:

wsids 在接口中 org.nutz.plugins.mvc.websocket.WsRoomProvider

join

public void join(String room,
                 String wsid)

指定者:

join 在接口中 org.nutz.plugins.mvc.websocket.WsRoomProvider

left

public void left(String room,
                 String wsid)

指定者:

left 在接口中 org.nutz.plugins.mvc.websocket.WsRoomProvider