Web-socket echo server