Make sure we don't try calling a cached getErr
on a closed resources that are in the getErr queue
This commit is contained in:
parent
59ba1190b4
commit
7218d47251
1 changed files with 4 additions and 1 deletions
|
@ -427,6 +427,7 @@ export default class BufferSyncSupport extends Disposable {
|
|||
return;
|
||||
}
|
||||
this.pendingDiagnostics.delete(resource);
|
||||
this.pendingGetErr?.files.delete(resource);
|
||||
this.syncedBuffers.delete(resource);
|
||||
syncedBuffer.close();
|
||||
this._onDelete.fire(resource);
|
||||
|
@ -523,7 +524,9 @@ export default class BufferSyncSupport extends Disposable {
|
|||
this.pendingGetErr.cancel();
|
||||
|
||||
for (const file of this.pendingGetErr.files.entries) {
|
||||
orderedFileSet.set(file.resource, undefined);
|
||||
if (this.syncedBuffers.get(file.resource)) {
|
||||
orderedFileSet.set(file.resource, undefined);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue