| Index: third_party/WebKit/Source/core/workers/WorkerObjectProxy.h
|
| diff --git a/third_party/WebKit/Source/core/workers/WorkerObjectProxy.h b/third_party/WebKit/Source/core/workers/WorkerObjectProxy.h
|
| index aac3d97e330a9edc6c2cf676cd05afdb35cd5bd1..52070a75d80bbdc5289c227fd269b48167935f9c 100644
|
| --- a/third_party/WebKit/Source/core/workers/WorkerObjectProxy.h
|
| +++ b/third_party/WebKit/Source/core/workers/WorkerObjectProxy.h
|
| @@ -71,7 +71,7 @@ public:
|
| void didEvaluateWorkerScript(bool success) override { }
|
| void workerGlobalScopeStarted(WorkerGlobalScope*) override { }
|
| void workerGlobalScopeClosed() override;
|
| - void workerThreadTerminated() override;
|
| + void workerScriptTerminated() override;
|
| void willDestroyWorkerGlobalScope() override { }
|
|
|
| protected:
|
|
|