chore(webkit): remove _disconnectFromTarget (#567)

This commit is contained in:
Yury Semikhatsky 2020-01-22 16:47:56 -08:00 committed by Dmitry Gozman
parent 05cb267a86
commit 869ffc8afd

View File

@ -76,7 +76,6 @@ export class WKPage implements PageDelegate {
private _setSession(session: WKSession) {
helper.removeEventListeners(this._sessionListeners);
this._disconnectFromTarget();
this._session = session;
this.rawKeyboard.setSession(session);
this._addSessionListeners();
@ -165,7 +164,6 @@ export class WKPage implements PageDelegate {
didClose(crashed: boolean) {
helper.removeEventListeners(this._sessionListeners);
this._disconnectFromTarget();
if (crashed)
this._page._didCrash();
else
@ -208,14 +206,6 @@ export class WKPage implements PageDelegate {
];
}
private _disconnectFromTarget() {
for (const context of this._contextIdToContext.values()) {
(context._delegate as WKExecutionContext)._dispose();
context.frame._contextDestroyed(context);
}
this._contextIdToContext.clear();
}
private async _updateState<T extends keyof Protocol.CommandParameters>(
method: T,
params?: Protocol.CommandParameters[T]