play_websocket_plugin A Play plugin implementing websocket. Wrapper around web socket usage pure functional connection/disconnection management via client/server ping/pong first implementation open to improvement and suggestions!!!