A basic web chat room based on tornado WebSocket