Commit 6206ed68 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent 948b0166
...@@ -895,6 +895,7 @@ def watch(twlink, zf, at, pinok=None): # -> tWatch ...@@ -895,6 +895,7 @@ def watch(twlink, zf, at, pinok=None): # -> tWatch
assert False, '#%d pinned %s; not pinned %s' % (t.hat(at_prev), t.hat(at)) assert False, '#%d pinned %s; not pinned %s' % (t.hat(at_prev), t.hat(at))
# blk ∈ pin -> blk was already accessed with rev > at # blk ∈ pin -> blk was already accessed with rev > at
# (see criteria in _pinnedAt)
assert blk in headOfAccess assert blk in headOfAccess
assert at < blkRevAt(blk, headOfAccess[blk]) assert at < blkRevAt(blk, headOfAccess[blk])
...@@ -1138,7 +1139,8 @@ def _pinnedAt(t, zf, at): # -> pin = {} blk -> rev ...@@ -1138,7 +1139,8 @@ def _pinnedAt(t, zf, at): # -> pin = {} blk -> rev
else: else:
pinrev = blkhistoryat[-1] pinrev = blkhistoryat[-1]
assert pinrev <= at assert pinrev <= at
pin[blk] = pinrev # XXX headOfAccess >= ... if t._headOfAccess(zf).get(blk, z64) >= at:
pin[blk] = pinrev
return pin return pin
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment