Remove buffers that shouldn't be validated from geterr request (#206843)

Fixes #206644
This commit is contained in:
Matt Bierner 2024-03-04 13:40:39 -08:00 committed by GitHub
parent e2f64dd1ab
commit a5abe07cea
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -725,6 +725,13 @@ export default class BufferSyncSupport extends Disposable {
orderedFileSet.set(buffer.resource, undefined);
}
for (const { resource } of orderedFileSet.entries()) {
const buffer = this.syncedBuffers.get(resource);
if (buffer && !this.shouldValidate(buffer)) {
orderedFileSet.delete(resource);
}
}
if (orderedFileSet.size) {
const getErr = this.pendingGetErr = GetErrRequest.executeGetErrRequest(this.client, orderedFileSet, () => {
if (this.pendingGetErr === getErr) {