add websocket servlet