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

hark-chat-hook: restart possibly killed subscription

Browse Source 
Issue #3946 may have caused the subscription to be killed by way of a
crashed %fact handling. If so, restart the subscription.
This commit is contained in:
Liam Fitzgerald 2020-11-18 14:25:31 +10:00
parent 7a1ff3ce2a
commit f8865b479c
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-chat-hook.hoon
View File

@ -51,7 +51,10 @@
++ on-load ++ on-load
|= old=vase |= old=vase
^- (quip card _this) ^- (quip card _this)
`this(state !<(state-0 old)) :_ this(state !<(state-0 old))
?: (~(has by wex.bowl) [/chat our.bowl %chat-store])
~
~[watch-chat:ha]
:: ::
++ on-watch ++ on-watch
|= =path |= =path