From a3fe790a45fa5b86fe80ce58a6e7f97b95a97afd Mon Sep 17 00:00:00 2001 From: Raymond Zhao Date: Mon, 17 May 2021 10:29:33 -0700 Subject: [PATCH] Explicitly flush OutputAppender #123856 --- src/vs/workbench/api/node/extHostOutputService.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/api/node/extHostOutputService.ts b/src/vs/workbench/api/node/extHostOutputService.ts index 78a955a7330..8daae98da4e 100644 --- a/src/vs/workbench/api/node/extHostOutputService.ts +++ b/src/vs/workbench/api/node/extHostOutputService.ts @@ -32,6 +32,7 @@ class OutputAppender { append(content: string): void { this.appender.critical(content); + this.flush(); } flush(): void {