Web Inspector: expose Inspector.detached event factory to the embedder.
authorpfeldman@chromium.org <pfeldman@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 1 Nov 2012 17:42:42 +0000 (17:42 +0000)
committerpfeldman@chromium.org <pfeldman@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 1 Nov 2012 17:42:42 +0000 (17:42 +0000)
commit27e7f460d92b738adda9ccc035c0c92e9f21fb9e
treefe7c8beccc2ee5ea4bf39836450d582eea03eef5
parentdb4a5c6ae38eadc9713d3f9c8df435c8b4683849
Web Inspector: expose Inspector.detached event factory to the embedder.
https://bugs.webkit.org/show_bug.cgi?id=100967

Reviewed by Vsevolod Vlasov.

That way embedder will be able to send messages on behalf of the backend being destructed.

* public/WebDevToolsAgent.h:
(WebDevToolsAgent):
* src/WebDevToolsAgentImpl.cpp:
(SerializingFrontendChannel):
(WebKit::SerializingFrontendChannel::sendMessageToFrontend):
(WebKit::WebDevToolsAgent::inspectorDetachedEvent):
(WebKit):
(WebKit::WebDevToolsAgent::workerDisconnectedFromWorkerEvent):
(WebKit::WebDevToolsAgent::disconnectEventAsText):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@133191 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebKit/chromium/ChangeLog
Source/WebKit/chromium/public/WebDevToolsAgent.h
Source/WebKit/chromium/src/WebDevToolsAgentImpl.cpp