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. |