Merge pull request #211 from sharifhsn/devzero

`/dev/zero` fix (final)
sharkdp · Dec 11, 2023 · 1792090 · 1792090
2 parents 921327f + 33d5b4d
commit 1792090
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -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;