Method flush

src/python/stderr.ts:35–47

()

  }

  flush(): void {
    const remaining = this.buffer + this.decoder.end();
    this.buffer = '';

    if (remaining) {
      for (const line of remaining.split(/\r\n|[\r\n]/)) {
        this.logLine(line);
      }
    }

    this.inTraceback = false;
    this.decoder = new StringDecoder('utf8');
  }

  private logLine(line: string): void {
    if (!line.trim()) {