equal
deleted
inserted
replaced
443 self._filteredrevs = val |
443 self._filteredrevs = val |
444 self._filteredrevs_hashcache = {} |
444 self._filteredrevs_hashcache = {} |
445 |
445 |
446 def delayupdate(self, tr): |
446 def delayupdate(self, tr): |
447 """delay visibility of index updates to other readers""" |
447 """delay visibility of index updates to other readers""" |
|
448 if self._docket is not None: |
|
449 return |
448 |
450 |
449 if not self._delayed: |
451 if not self._delayed: |
450 if len(self) == 0: |
452 if len(self) == 0: |
451 self._divert = True |
453 self._divert = True |
452 if self._realopener.exists(self._indexfile + b'.a'): |
454 if self._realopener.exists(self._indexfile + b'.a'): |