[DevTools] Explicitly require ResourceTreeModel

third_party/WebKit/Source/devtools/front_end/sdk/WorkerManager.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 39 matching lines @@
 }
 
 WebInspector.WorkerManager.prototype = {
     enable: function()
     {
         if (this._enabled)
             return;
         this._enabled = true;
 
         this.target().workerAgent().enable();
-        this.target().resourceTreeModel.addEventListener(WebInspector.TargetManager.Events.MainFrameNavigated, this._mainFrameNavigated, this);
+        WebInspector.targetManager.addEventListener(WebInspector.TargetManager.Events.MainFrameNavigated, this._mainFrameNavigated, this);
     },
 
     disable: function()
     {
         if (!this._enabled)
             return;
         this._enabled = false;
         this._reset();
         this.target().workerAgent().disable();
-        this.target().resourceTreeModel.removeEventListener(WebInspector.TargetManager.Events.MainFrameNavigated, this._mainFrameNavigated, this);
+        WebInspector.targetManager.removeEventListener(WebInspector.TargetManager.Events.MainFrameNavigated, this._mainFrameNavigated, this);
     },
 
     dispose: function()
     {
         this._reset();
     },
 
     _reset: function()
     {
         for (var connection of this._connections.values())
@@ skipping 52 matching lines @@
         var connection = this._connections.get(workerId);
         if (connection)
             connection.dispatch(message);
     },
 
     /**
      * @param {!WebInspector.Event} event
      */
     _mainFrameNavigated: function(event)
     {
-        this._reset();
+        if (event.data.target() !== this.target())
+            return;
+        this._reset(); // TODO (dgozman): Probably, unnecessary. Consider removal.
     },
 
     /**
      * @param {string} workerId
      * @return {?WebInspector.Target}
      */
     targetByWorkerId: function(workerId)
     {
         return this._targetsByWorkerId.get(workerId) || null;
     },
@@ skipping 67 matching lines @@
         this._agent.sendMessageToWorker(this._workerId, JSON.stringify(messageObject));
     },
 
     _close: function()
     {
         this.connectionClosed("worker_terminated");
     },
 
     __proto__: InspectorBackendClass.Connection.prototype
 }