diff options
Diffstat (limited to 'docs/JOURNAL_FILE_FORMAT.md')
| -rw-r--r-- | docs/JOURNAL_FILE_FORMAT.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/JOURNAL_FILE_FORMAT.md b/docs/JOURNAL_FILE_FORMAT.md index 523ed621ff..e87a758026 100644 --- a/docs/JOURNAL_FILE_FORMAT.md +++ b/docs/JOURNAL_FILE_FORMAT.md @@ -196,8 +196,8 @@ The currently used part of the file is the **header_size** plus the **arena_size** field of the header. If a writer needs to write to a file where the actual file size on disk is smaller than the reported value it shall immediately rotate the file and start a new one. If a writer is asked to write -to a file with a header that is shorter than his own definition of the struct -Header, he shall immediately rotate the file and start a new one. +to a file with a header that is shorter than its own definition of the struct +Header, it shall immediately rotate the file and start a new one. The **n_objects** field contains a counter for objects currently available in this file. As objects are appended to the end of the file this counter is |