From 81145ca15e5e2002283ccb9652b555d23be46451 Mon Sep 17 00:00:00 2001 From: Thomas White Date: Thu, 3 Apr 2014 15:38:56 +0200 Subject: scripts/truncate-stream: Fix duplicated chunk end marker --- scripts/truncate-stream | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts') diff --git a/scripts/truncate-stream b/scripts/truncate-stream index 0ee4ce34..1725082a 100755 --- a/scripts/truncate-stream +++ b/scripts/truncate-stream @@ -43,6 +43,7 @@ def count_crystals(f, g, start_after, stop_after): in_chunk = 0 if need_end_chunk: g.write(fline) + need_end_chunk = 0 if (stop_after != 0) and (n_crystals_written == stop_after): break -- cgit v1.2.3