| Index: content/shell/browser/shell_devtools_frontend.cc
|
| diff --git a/content/shell/browser/shell_devtools_frontend.cc b/content/shell/browser/shell_devtools_frontend.cc
|
| index 43828c931da770159f3e06c243d3fc973e785b41..af9789d338e188cf2ec130fe047447a71a172d38 100644
|
| --- a/content/shell/browser/shell_devtools_frontend.cc
|
| +++ b/content/shell/browser/shell_devtools_frontend.cc
|
| @@ -373,6 +373,7 @@ void ShellDevToolsFrontend::SendMessageAck(int request_id,
|
|
|
| void ShellDevToolsFrontend::AgentHostClosed(
|
| DevToolsAgentHost* agent_host, bool replaced) {
|
| + agent_host_ = nullptr;
|
| frontend_shell_->Close();
|
| }
|
|
|
|
|