Basic little server bits for web sockets.