| Index: content/browser/devtools/embedded_worker_devtools_manager.h
|
| diff --git a/content/browser/devtools/embedded_worker_devtools_manager.h b/content/browser/devtools/embedded_worker_devtools_manager.h
|
| index 7103877be11864b242b144ff3bf5485db9b27dba..694139ff0ef8dfa9425733b59c30bd0665222c20 100644
|
| --- a/content/browser/devtools/embedded_worker_devtools_manager.h
|
| +++ b/content/browser/devtools/embedded_worker_devtools_manager.h
|
| @@ -75,6 +75,7 @@ class CONTENT_EXPORT EmbeddedWorkerDevToolsManager {
|
| const ServiceWorkerIdentifier& service_worker_id);
|
| void WorkerReadyForInspection(int worker_process_id, int worker_route_id);
|
| void WorkerDestroyed(int worker_process_id, int worker_route_id);
|
| + void WorkerStopIgnored(int worker_process_id, int worker_route_id);
|
|
|
| void set_debug_service_worker_on_start(bool debug_on_start) {
|
| debug_service_worker_on_start_ = debug_on_start;
|
|
|