| Index: third_party/WebKit/Source/devtools/front_end/main/RemoteLocationManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/main/RemoteLocationManager.js b/third_party/WebKit/Source/devtools/front_end/main/RemoteLocationManager.js
|
| index 16c032a9321862ffd11905b3ccca0607d9c0b71f..a613dc3c482bdc334a64b16d23edb338f4f8b333 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/RemoteLocationManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/RemoteLocationManager.js
|
| @@ -45,7 +45,7 @@ WebInspector.RemoteLocationManager.prototype = {
|
| * @param {?Protocol.Error} error
|
| * @return {!Promise}
|
| */
|
| - _requestTargets: function (error)
|
| + _requestTargets: function(error)
|
| {
|
| if (error) {
|
| console.error(error);
|
| @@ -79,7 +79,7 @@ WebInspector.RemoteLocationManager.prototype = {
|
| var target = this._connectedTargets.get(targetId);
|
| this._connectedTargets.delete(targetId);
|
| if (target)
|
| - WebInspector.targetManager.removeTarget(target);
|
| + target.dispose();
|
| }
|
| }
|
|
|
| @@ -140,9 +140,12 @@ WebInspector.RemoteLocationConnection.prototype = {
|
| this._agent.sendMessage(this._targetId, JSON.stringify(messageObject));
|
| },
|
|
|
| - _close: function()
|
| + /**
|
| + * @override
|
| + */
|
| + forceClose: function()
|
| {
|
| - this.connectionClosed("node_detached");
|
| + this._agent.detach(this._targetId, () => {});
|
| },
|
|
|
| __proto__: InspectorBackendClass.Connection.prototype
|
|
|