类 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.
    • 字段详细资料

      • 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