A simple benchmark comparison between WebSocket and RESTful HTTP