urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 19:46:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

Subscriptions now get ended if we no longer know their story.

Browse Source
This commit is contained in:
Fang 2017-11-14 00:55:18 +01:00
parent 89f73aced8
commit 9aa32d7de7
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
app/hall.hoon
View File

@ -2017,8 +2017,11 @@
?~ rum ~
[b %diff %hall-rumor u.rum]~
?. ?=($circle -.qer) ~
=+ qit=[b %quit ~]~
:: kill the subscription if we forgot the story.
?. (~(has by stories) nom.qer) qit
:: kill the subscription if it's past its range.
=- ?:(done:- [b %quit ~]~ ~)
=- ?:(done:- qit ~)
%. ran.qer
=- ~(so-in-range so:ta nom.qer ~ -)
(~(got by stories) nom.qer)