Flush the logger

CesiumGS · Jun 14, 2024 · 12da838 · 12da838
1 parent 434211d
commit 12da838
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cli/main.ts b/src/cli/main.ts
@@ -447,6 +447,8 @@ async function run() {
   await runCommand(command, parsedToolArgs, optionArgs);
   const afterMs = performance.now();
   logger.info(`Total: ${(afterMs - beforeMs).toFixed(3)} ms`);
+  // This is not part of the Logger API!:
+  logger.flush();
 }
 
 async function runCommand(command: string, toolArgs: any, optionArgs: any) {