mirror of
https://github.com/urbit/shrub.git
synced 2025-01-03 01:54:43 +03:00
graph-disable-group-feed: archive the graph if necessary
This commit is contained in:
parent
86fd281bd0
commit
15f92702f2
@ -1,5 +1,6 @@
|
||||
/- spider,
|
||||
met=metadata-store
|
||||
met=metadata-store,
|
||||
graph=graph-store
|
||||
/+ strandio, resource, graph-view
|
||||
::
|
||||
=* strand strand:spider
|
||||
@ -36,4 +37,11 @@
|
||||
group.action
|
||||
groups+group.action
|
||||
metadatum(feed.config [~ ~])
|
||||
?: ?=([~ ^] feed.config.metadatum)
|
||||
;< ~ bind:m
|
||||
%+ poke-our %graph-store
|
||||
:- %graph-update-1
|
||||
!> ^- update:graph
|
||||
[now.bowl [%archive-graph resource.u.u.feed.config.metadatum]]
|
||||
(pure:m !>(~))
|
||||
(pure:m !>(~))
|
||||
|
Loading…
Reference in New Issue
Block a user