A WebSocket server to exemplify the use of wsock