| Index: content/browser/devtools/worker_devtools_manager.h
|
| diff --git a/content/browser/devtools/worker_devtools_manager.h b/content/browser/devtools/worker_devtools_manager.h
|
| index 7ea8840c7dd0447af956d9d06ed387ed3b3f273f..b4296b068f51d538587bd0719b0b826c0d1ef470 100644
|
| --- a/content/browser/devtools/worker_devtools_manager.h
|
| +++ b/content/browser/devtools/worker_devtools_manager.h
|
| @@ -45,6 +45,8 @@ class WorkerDevToolsManager {
|
| const WorkerProcessHost::WorkerInstance& instance);
|
| void WorkerDestroyed(WorkerProcessHost* process, int worker_route_id);
|
| void WorkerContextStarted(WorkerProcessHost* process, int worker_route_id);
|
| + bool TerminatedWorkerExist(
|
| + const WorkerProcessHost::WorkerInstance& instance) const;
|
|
|
| private:
|
| friend struct DefaultSingletonTraits<WorkerDevToolsManager>;
|
|
|