| Index: Source/web/WebViewImpl.cpp
|
| diff --git a/Source/web/WebViewImpl.cpp b/Source/web/WebViewImpl.cpp
|
| index 52ceb368bd48402cb0bdc40e5228260df2e522cd..00da05fa738dcf33756e7a6223b174e2a3886cd3 100644
|
| --- a/Source/web/WebViewImpl.cpp
|
| +++ b/Source/web/WebViewImpl.cpp
|
| @@ -1676,8 +1676,10 @@ void WebViewImpl::close()
|
| }
|
|
|
| // Should happen after m_page.clear().
|
| - if (m_devToolsAgent)
|
| + if (m_devToolsAgent) {
|
| + m_devToolsAgent->dispose();
|
| m_devToolsAgent.clear();
|
| + }
|
|
|
| // Reset the delegate to prevent notifications being sent as we're being
|
| // deleted.
|
|
|