Spring Sessions and Redis

http://docs.spring.io/spring-session/docs/current/reference/html5/guides/websocket.html
https://stackoverflow.com/questions/36620223/how-to-make-spring-use-stringredisserializer-to-store-session-into-redis-by-java
http://docs.spring.io/spring-session/docs/current/reference/html5/guides/httpsession.html
https://stackoverflow.com/questions/32751094/spring-boot-with-session-redis-serialization-error-with-bad-active-directory-lda
https://stackoverflow.com/questions/35921919/spring-session-data-redis-get-valid-sessions-current-user-from-redis-store
https://drissamri.be/blog/2015/05/21/spring-security-and-spring-session/


https://github.com/urgelacko/spring-websocket-redis


https://stackoverflow.com/questions/31396362/how-can-i-do-relational-database-based-http-session-persistence-in-spring-4



/////////////////////
///////////////////////

https://spring.io/blog/2014/09/16/preview-spring-security-websocket-support-sessions

http://docs.spring.io/spring-session/docs/current/reference/html5/guides/websocket.html

http://stackoverflow.com/questions/27119495/get-associated-httpsession-of-websocket-session-in-spring

https://github.com/rwinch/spring-websocket-portfolio/blob/security/src/main/java/org/springframework/samples/portfolio/config/WebSocketConfig.java

https://stackoverflow.com/questions/20582404/how-to-get-set-the-principal-and-session-attributes-from-spring-4-stomp-websocke?rq=1

HttpSession session = servletRequest.getServletRequest().getSession(true);

https://stackoverflow.com/questions/35624581/how-to-use-spring-websocket-with-the-spring-session-custom-httpsession-and-witho

https://github.com/urgelacko/spring-websocket-redis/blob/master/src/main/java/com/falconsocial/demo/szl/websocket/config/WebSocketConfig.java

https://github.com/Mati20041/spring-session-jpa-repository/blob/master/src/main/java/pl/mati/SecurityConfiguration.java

https://github.com/rwinch/spring-websocket-portfolio/tree/wssessionlistener/src/main/java/org/springframework/samples/portfolio/config

// Install Redis on Ubuntu

https://www.digitalocean.com/community/tutorials/how-to-install-and-configure-redis-on-ubuntu-16-04