| 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 6037b1a9fb867a939f6258dec3fa79a6dcdb8250..01ea434896350639fb8a0d892891f4a7d01a45ad 100644
|
| --- a/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| +++ b/third_party/WebKit/Source/modules/websockets/WorkerWebSocketChannel.h
|
| @@ -129,7 +129,7 @@ class WorkerWebSocketChannel final : public WebSocketChannel {
|
| void didError() override;
|
|
|
| // WorkerThreadLifecycleObserver function.
|
| - void contextDestroyed() override;
|
| + void contextDestroyed(WorkerThreadLifecycleContext*) override;
|
|
|
| private:
|
| CrossThreadWeakPersistent<Bridge> m_bridge;
|
|
|