Cope with partial records

talex5 · talex5 · commit 998d5a4a5021 · 2024-02-03T17:00:24.000Z
Trace files might be being written as we're reading them, so just stop
if we get end-of-file in the middle of a record.
diff --git a/fxt/read.ml b/fxt/read.ml
@@ -289,6 +289,7 @@ let records r =
       match record t r with
       | None -> seq ()
       | Some x -> Cons (x, seq)
+      | exception End_of_file -> Seq.Nil        (* File may be being written at the same time *)
     )
   in
   seq

Original file line number	Diff line number	Diff line change
`@@ -289,6 +289,7 @@ let records r =`
`289`	`289`	`match record t r with`
`290`	`290`	`\| None -> seq ()`
`291`	`291`	`\| Some x -> Cons (x, seq)`
	`292`	`+ \| exception End_of_file -> Seq.Nil (* File may be being written at the same time *)`
`292`	`293`	`)`
`293`	`294`	`in`
`294`	`295`	`seq`