| Index: third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| index 5dddab0bdf9ba8a655f1cd9615f48808414e218b..a6da9eb7ee813e98eefcccc42fcc39687ba2a142 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| @@ -123,6 +123,7 @@ SDK.RuntimeModel = class extends SDK.SDKModel {
|
| var executionContext = this._executionContextById.get(executionContextId);
|
| if (!executionContext)
|
| return;
|
| + this.debuggerModel().executionContextDestroyed(executionContext);
|
| this._executionContextById.delete(executionContextId);
|
| this.dispatchEventToListeners(SDK.RuntimeModel.Events.ExecutionContextDestroyed, executionContext);
|
| }
|
|
|