urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-26 21:44:11 +03:00
Code Issues Packages Projects Releases Wiki Activity

hark-store: fix mark channel as read issue

Browse Source 
Addresses root cause of #4201
This commit is contained in:
Liam Fitzgerald 2021-01-11 16:34:20 +10:00
parent 8fe8cfd29e
commit 1529113d6f
No known key found for this signature in database
GPG Key ID: D390E12C61D1CFFB
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkg/arvo/app/hark-store.hoon
View File

@ -384,7 +384,6 @@
(give %archive time index) (give %archive time index)
:: ::
:: if we detect cache inconsistencies, wipe and rebuild :: if we detect cache inconsistencies, wipe and rebuild
:: TODO: where are these coming from?
++ change-read-status ++ change-read-status
|= [time=@da =index:store read=?] |= [time=@da =index:store read=?]
^+ poke-core ^+ poke-core
@ -491,6 +490,10 @@
poke-core poke-core
?. (stats-index-is-index:store stats-index i.keys) ?. (stats-index-is-index:store stats-index i.keys)
$(keys t.keys) $(keys t.keys)
=/ =notification:store
(~(got by (gut-orm notifications time)) i.keys)
?: read.notification
$(keys t.keys)
=/ core =/ core
(read-note time i.keys) (read-note time i.keys)
$(poke-core core, keys t.keys) $(poke-core core, keys t.keys)