| Index: third_party/WebKit/public/web/WebEmbeddedWorker.h
|
| diff --git a/third_party/WebKit/public/web/WebEmbeddedWorker.h b/third_party/WebKit/public/web/WebEmbeddedWorker.h
|
| index 42ebe9996ca9dab83dfd7f148d4e416377202f91..f381407b96546b40f70eee14df87cbf012c31f44 100644
|
| --- a/third_party/WebKit/public/web/WebEmbeddedWorker.h
|
| +++ b/third_party/WebKit/public/web/WebEmbeddedWorker.h
|
| @@ -68,7 +68,7 @@ class WebEmbeddedWorker {
|
| virtual void ReattachDevTools(const WebString& host_id,
|
| int session_id,
|
| const WebString& saved_state) = 0;
|
| - virtual void DetachDevTools() = 0;
|
| + virtual void DetachDevTools(int session_id) = 0;
|
| virtual void DispatchDevToolsMessage(int session_id,
|
| int call_id,
|
| const WebString& method,
|
|
|