diff options
author | David Peter <sharkdp@users.noreply.github.com> | 2023-12-11 22:55:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-11 22:55:38 +0100 |
commit | 17920907996a6e33286c92cc8151e052e357777c (patch) | |
tree | 73be32800bb26178d196f4db3887987282d1f7a3 | |
parent | 921327f2aeee70d5c13158affa47fa2744efb099 (diff) | |
parent | 33d5b4dbda757afdc40985651f5265fdb3471838 (diff) |
Merge pull request #211 from sharifhsn/devzero
`/dev/zero` fix (final)
-rw-r--r-- | src/lib.rs | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -621,7 +621,6 @@ impl<'a, Writer: Write> Printer<'a, Writer> { } if is_empty { self.print_header()?; - is_empty = false; } // squeeze is active, check if the line is the same @@ -649,6 +648,11 @@ impl<'a, Writer: Write> Printer<'a, Writer> { } self.writer.write_all(b"\n")?; + if is_empty { + self.writer.flush()?; + is_empty = false; + } + // increment index to next line self.idx += 8 * self.panels; |