DevTools: Do not push to frontend messages from worker while it is alive

Source/core/inspector/InspectorInstrumentation.idl

Index: Source/core/inspector/InspectorInstrumentation.idl
diff --git a/Source/core/inspector/InspectorInstrumentation.idl b/Source/core/inspector/InspectorInstrumentation.idl
index 85066c88951b8a7ea5282e592e5ddf4198729531..86b8a7c366de4f3099758b8c62e3c1c982b454e7 100644
--- a/Source/core/inspector/InspectorInstrumentation.idl
+++ b/Source/core/inspector/InspectorInstrumentation.idl
@@ -510,6 +510,10 @@ class ConsoleMessage;
 
     [Profiler, Inline=FastReturn]
     void consoleProfileEnd(ExecutionContext* context, const String& title);
+
+    //FIXME: remove when we move everything from InspectorConsoleAgent to FrameConsole

[vsevik, 2014/08/12 15:46:07]

s/everything/console message storage/

[sergeyv, 2014/08/12 16:00:58]

Done.

+    [Console]
+    void notifyWorkerGlobalScopeTerminated(ExecutionContext* context, WorkerGlobalScopeProxy* proxy);

[vsevik, 2014/08/12 15:49:54]

adoptWorkerConsoleMessages

[sergeyv, 2014/08/12 16:00:59]

Done.

 }
 
 interface InspectorOverrides {