diff options
| author | yurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-11-09 06:51:47 +0000 |
|---|---|---|
| committer | yurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-11-09 06:51:47 +0000 |
| commit | 610137a6ffdf372f6a8a83e30a421c4d27e8ee90 (patch) | |
| tree | c3587e0c278e1faa73f799fe7a118722495cde59 /content | |
| parent | 4412cd0412701e21ff00eb7e3394a57c95171b36 (diff) | |
| download | chromium_src-610137a6ffdf372f6a8a83e30a421c4d27e8ee90.zip chromium_src-610137a6ffdf372f6a8a83e30a421c4d27e8ee90.tar.gz chromium_src-610137a6ffdf372f6a8a83e30a421c4d27e8ee90.tar.bz2 | |
DevTools: notify devtools front-end when inspected worker terminates
This change depends on a WebKit change: https://bugs.webkit.org/show_bug.cgi?id=71770
BUG=None
TEST=None
Review URL: http://codereview.chromium.org/8496010
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@109196 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'content')
| -rw-r--r-- | content/browser/debugger/worker_devtools_manager.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/content/browser/debugger/worker_devtools_manager.cc b/content/browser/debugger/worker_devtools_manager.cc index beb6a89..85bb498 100644 --- a/content/browser/debugger/worker_devtools_manager.cc +++ b/content/browser/debugger/worker_devtools_manager.cc @@ -19,6 +19,9 @@ #include "content/public/browser/notification_registrar.h" #include "content/public/browser/notification_service.h" #include "content/public/browser/notification_types.h" +#include "third_party/WebKit/Source/WebKit/chromium/public/WebCString.h" +#include "third_party/WebKit/Source/WebKit/chromium/public/WebDevToolsAgent.h" +#include "third_party/WebKit/Source/WebKit/chromium/public/WebString.h" using content::BrowserThread; @@ -161,6 +164,9 @@ class WorkerDevToolsManager::DetachedClientHosts { RemovePendingWorkerData(id); return; } + DevToolsManager::GetInstance()->ForwardToDevToolsClient(agent, + DevToolsClientMsg_DispatchOnInspectorFrontend(MSG_ROUTING_NONE, + WebKit::WebDevToolsAgent::disconnectEventAsText().utf8())); int cookie = DevToolsManager::GetInstance()->DetachClientHost(agent); if (cookie == -1) { RemovePendingWorkerData(id); |