Show More
@@ -226,9 +226,20 b' class NodeMapDocket(object):' | |||||
226 | def __init__(self, uid=None): |
|
226 | def __init__(self, uid=None): | |
227 | if uid is None: |
|
227 | if uid is None: | |
228 | uid = _make_uid() |
|
228 | uid = _make_uid() | |
|
229 | # a unique identifier for the data file: | |||
|
230 | # - When new data are appended, it is preserved. | |||
|
231 | # - When a new data file is created, a new identifier is generated. | |||
229 | self.uid = uid |
|
232 | self.uid = uid | |
|
233 | # the tipmost revision stored in the data file. This revision and all | |||
|
234 | # revision before it are expected to be encoded in the data file. | |||
230 | self.tip_rev = None |
|
235 | self.tip_rev = None | |
|
236 | # the size (in bytes) of the persisted data to encode the nodemap valid | |||
|
237 | # for `tip_rev`. | |||
|
238 | # - data file shorter than this are corrupted, | |||
|
239 | # - any extra data should be ignored. | |||
231 | self.data_length = None |
|
240 | self.data_length = None | |
|
241 | # the amount (in bytes) of "dead" data, still in the data file but no | |||
|
242 | # longer used for the nodemap. | |||
232 | self.data_unused = 0 |
|
243 | self.data_unused = 0 | |
233 |
|
244 | |||
234 | def copy(self): |
|
245 | def copy(self): |
General Comments 0
You need to be logged in to leave comments.
Login now