| Index: third_party/WebKit/public/web/WebSharedWorker.h
|
| diff --git a/third_party/WebKit/public/web/WebSharedWorker.h b/third_party/WebKit/public/web/WebSharedWorker.h
|
| index 8f3179bda5b5a65f620ea8b4531910891b974cb5..cf156706fe482fa0bce9d9be6fb82473b4afd67d 100644
|
| --- a/third_party/WebKit/public/web/WebSharedWorker.h
|
| +++ b/third_party/WebKit/public/web/WebSharedWorker.h
|
| @@ -68,7 +68,7 @@ class WebSharedWorker {
|
| 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,
|
|
|