DevTools: notify devtools front-end when inspected worker terminates
commit610137a6ffdf372f6a8a83e30a421c4d27e8ee90
authoryurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>
Wed, 9 Nov 2011 06:51:47 +0000 (9 06:51 +0000)
committeryurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>
Wed, 9 Nov 2011 06:51:47 +0000 (9 06:51 +0000)
treec3587e0c278e1faa73f799fe7a118722495cde59
parent4412cd0412701e21ff00eb7e3394a57c95171b36
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
content/browser/debugger/worker_devtools_manager.cc