improvement for the editor crash issue (#17278)

* handle the query editor crash issue

* update message
This commit is contained in:
Alan Ren
2021-10-06 09:45:53 -07:00
committed by GitHub
parent b5b57a56c4
commit 458c4cff39
2 changed files with 20 additions and 1 deletions

View File

@@ -104,6 +104,12 @@ export default class QueryRunner extends Disposable {
return this._hasCompleted;
}
private _isDisposed: boolean = false;
get isDisposed(): boolean {
return this._isDisposed;
}
/**
* For public use only, for private use, directly access the member
*/
@@ -417,8 +423,10 @@ export default class QueryRunner extends Disposable {
}
public override dispose() {
this.logService.info(`Disposing the query runner of: '${this.uri}'', call stack: ${new Error().stack}`);
this._batchSets = undefined!;
super.dispose();
this._isDisposed = true;
}
public changeConnectionUri(oldUri: string, newUri: string): Promise<void> {