| Index: third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| diff --git a/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h b/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| index 9ffce517d86902ba2211baa98c3b4de5fda9ec75..9a6b4eecc138c80a741f1eccf8ff1b6a310bc2fe 100644
|
| --- a/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| +++ b/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| @@ -104,6 +104,8 @@ public:
|
| void disconnect();
|
|
|
| DECLARE_VIRTUAL_TRACE();
|
| + // Promptly clear connection to bridge + loader proxy.
|
| + EAGERLY_FINALIZE();
|
|
|
| // WebSocketChannelClient functions.
|
| void didConnect(const String& subprotocol, const String& extensions) override;
|
| @@ -146,6 +148,8 @@ public:
|
| WebSocketChannelClient* client() { return m_client; }
|
|
|
| DECLARE_TRACE();
|
| + // Promptly clear connection to peer + loader proxy.
|
| + EAGERLY_FINALIZE();
|
|
|
| private:
|
| // Returns false if shutdown event is received before method completion.
|
|
|