Line data    Source code

       1              : import { Logger } from './logger.js';
       2              : 
       3            1 : export class WebLogger extends Logger {
       4            1 :     constructor() {
       5            1 :         super();
       6            1 :     }
       7              : 
       8              :     /// Destroy the logger
       9            0 :     public async destroy(): Promise<void> { }
      10              : 
      11              :     /// Helper to flush pending records
      12            1 :     protected flushPendingRecords(): void {
      13            1 :         if (this.pendingRecords.length == 0) {
      14            1 :             return;
      15              :         }
      16            1 :         const pending = this.pendingRecords;
      17            1 :         this.pendingRecords = [];
      18            1 :         for (let i = 0; i < pending.length; ++i) {
      19            1 :             const record = pending[i];
      20            1 :             this.outputBuffer.push(record);
      21            1 :         }
      22            1 :     }
      23            1 : };