[spec] web_socket_server_spec