clear buffer when a batch is completed (#10382)

This commit is contained in:
Anthony Dresser
2020-05-15 11:34:48 -07:00
committed by GitHub
parent 1bcda64a1b
commit dd697b337d

View File

@@ -324,6 +324,8 @@ export class ExtHostDataProtocol extends ExtHostDataProtocolShape {
if (this.uriTransformer) {
batchInfo.ownerUri = URI.from(this.uriTransformer.transformOutgoing(URI.parse(batchInfo.ownerUri))).toString(true);
}
this.messageRunner.cancel(); // clear batch messages before saying we completed the batch
this.sendMessages();
this._proxy.$onBatchComplete(handle, batchInfo);
}
$onResultSetAvailable(handle: number, resultSetInfo: azdata.QueryExecuteResultSetNotificationParams): void {