Package org.flasby.ws

Class WsController


  • @Controller
    public class WsController
    extends Object
    • Constructor Detail

      • WsController

        public WsController()
    • Method Detail

      • onDisconnectEvent

        @EventListener
        public void onDisconnectEvent​(org.springframework.web.socket.messaging.SessionDisconnectEvent event)
      • onConnectEvent

        @EventListener
        public void onConnectEvent​(org.springframework.web.socket.messaging.SessionConnectEvent event)
      • subscribe

        @MessageMapping("/subscribe")
        @SendToUser("/queue/initialList")
        public WsController.PresentData subscribe​(Principal me)
                                           throws com.fasterxml.jackson.core.JsonProcessingException
        Throws:
        com.fasterxml.jackson.core.JsonProcessingException
      • unclaim

        @MessageMapping("/unclaim")
        public void unclaim​(WsController.RowId row,
                            Principal user)
                     throws com.fasterxml.jackson.core.JsonProcessingException
        Throws:
        com.fasterxml.jackson.core.JsonProcessingException
      • claim

        @MessageMapping("/claim")
        public void claim​(WsController.RowId row,
                          Principal user)
                   throws com.fasterxml.jackson.core.JsonProcessingException
        Throws:
        com.fasterxml.jackson.core.JsonProcessingException
      • askFor

        @MessageMapping("/askfor")
        public void askFor​(String mywish,
                           Principal me)
                    throws com.fasterxml.jackson.core.JsonProcessingException
        Throws:
        com.fasterxml.jackson.core.JsonProcessingException
      • log

        @MessageMapping("/log")
        public void log​(String msg)
      • sendErrorTo

        public void sendErrorTo​(String errorMessage,
                                Principal user)
      • pushDataEverywhere

        public void pushDataEverywhere​(String topicName,
                                       String json)