diff options
| -rwxr-xr-x | scripts/truncate-stream | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/truncate-stream b/scripts/truncate-stream index 7de5c953..009a8aaf 100755 --- a/scripts/truncate-stream +++ b/scripts/truncate-stream @@ -58,6 +58,7 @@ def count_crystals(f, g, start_after, stop_after): for line in chunk_so_far: g.write(line) chunk_so_far.clear() + chunk_so_far.append(fline) if fline.find("End crystal") != -1: n_crystals_seen += 1 |