Index: chrome/browser/devtools/devtools_ui_bindings.cc |
diff --git a/chrome/browser/devtools/devtools_ui_bindings.cc b/chrome/browser/devtools/devtools_ui_bindings.cc |
index 1620d733b218d1cd68b0092bba0485b9ddb09cae..664627cda0ad1de2c52a65d750db6dccfc1c2bb9 100644 |
--- a/chrome/browser/devtools/devtools_ui_bindings.cc |
+++ b/chrome/browser/devtools/devtools_ui_bindings.cc |
@@ -401,6 +401,10 @@ void DevToolsUIBindings::WebSocketAPIChannel::DispatchOnClientHost( |
} |
void DevToolsUIBindings::WebSocketAPIChannel::ConnectionClosed() { |
+ if (bindings_) { |
+ bindings_->CallClientFunction("DevToolsAPI.frontendAPIDetached", |
+ nullptr, nullptr, nullptr); |
+ } |
if (attached_proxy_) |
attached_proxy_->ConnectionClosed(); |
} |