Commit 38fd7361 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent 78c54e48
...@@ -860,8 +860,8 @@ class tSrvReq: ...@@ -860,8 +860,8 @@ class tSrvReq:
# Criteria for when blk must be pinned as of @at view: # Criteria for when blk must be pinned as of @at view:
# #
# blk ∈ pinned(at) <=> ∃ r = rev(blk): # blk ∈ pinned(at) <=> ∃ r = rev(blk):
# 1) at < r ; block was changed after at # 1) at < r ; blk was changed after at
# 2) r ≤ headOfAccess(blk) ; block revision changed after at was accessed # 2) r ≤ headOfAccess(blk) ; blk revision changed after at was accessed
@func(tWatchLink) @func(tWatchLink)
def watch(twlink, zf, at, pinok=None): # -> tWatch def watch(twlink, zf, at, pinok=None): # -> tWatch
t = twlink.tdb t = twlink.tdb
......
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