mirror of
https://github.com/urbit/shrub.git
synced 2024-12-25 13:04:17 +03:00
contact-hook: re-establish connection to group-store if subscription failed during ota
This commit is contained in:
parent
b94d81c190
commit
43e4ca149e
@ -12,15 +12,17 @@
|
||||
::
|
||||
+$ versioned-state
|
||||
$% state-zero
|
||||
state-one
|
||||
==
|
||||
::
|
||||
+$ state-zero
|
||||
$: %0
|
||||
synced=(map path ship)
|
||||
+$ state-zero [%0 state-base]
|
||||
+$ state-one [%1 state-base]
|
||||
+$ state-base
|
||||
$: synced=(map path ship)
|
||||
invite-created=_|
|
||||
==
|
||||
--
|
||||
=| state-zero
|
||||
=| state-one
|
||||
=* state -
|
||||
%- agent:dbug
|
||||
^- agent:gall
|
||||
@ -40,8 +42,18 @@
|
||||
==
|
||||
++ on-save !>(state)
|
||||
++ on-load
|
||||
|= old=vase
|
||||
`this(state !<(state-zero old))
|
||||
|= old-vase=vase
|
||||
^- (quip card _this)
|
||||
=/ old !<(versioned-state old-vase)
|
||||
?: ?=(%1 -.old)
|
||||
[~ this(state old)]
|
||||
=/ upgraded-state
|
||||
%* . *state-one
|
||||
synced synced
|
||||
invite-created invite-created
|
||||
==
|
||||
:_ this(state upgraded-state)
|
||||
[%pass /group %agent [our.bol %group-store] %watch /updates]~
|
||||
::
|
||||
++ on-poke
|
||||
|= [=mark =vase]
|
||||
|
Loading…
Reference in New Issue
Block a user